From 6de605f4489baf95739c2ec6335ae939d5a66fb1 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Anders=20M=C3=B6rtberg?= Date: Fri, 4 Dec 2015 11:18:17 -0500 Subject: [PATCH] remove reglarity --- Eval.hs | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/Eval.hs b/Eval.hs index e70b53c..cee4194 100644 --- a/Eval.hs +++ b/Eval.hs @@ -606,7 +606,7 @@ gradLemma b iso us v = (u, VPath i theta'') unGlueU :: Val -> Val -> System Val -> Val unGlueU w b es - | Map.null es = w +-- | Map.null es = w | eps `Map.member` es = transNegLine (es ! eps) w | otherwise = case w of VGlueElem v us -> v @@ -614,7 +614,7 @@ unGlueU w b es compUniv :: Val -> System Val -> Val -compUniv b es | Map.null es = b +compUniv b es -- | Map.null es = b | eps `Map.member` es = (es ! eps) @@ One | otherwise = VCompU b es @@ -632,7 +632,7 @@ compU i b es wi0 ws = glueElem vi1'' usi1'' esI1 = es `face` (i ~> 1) es' = filterWithKey (\alpha _ -> i `Map.notMember` alpha) es - es'' = filterWithKey (\alpha _ -> not (alpha `Map.member` es')) esI1 + es'' = filterWithKey (\alpha _ -> alpha `Map.notMember` es') esI1 us' = mapWithKey (\gamma eGamma -> fill i (eGamma @@ One) (wi0 `face` gamma) (ws `face` gamma)) -- 2.34.1