From cad2149f6cf034ff073cb815d58fb5bb8c8d71ef Mon Sep 17 00:00:00 2001 From: Simon Huber Date: Tue, 7 Apr 2015 14:12:36 +0200 Subject: [PATCH] analogous fix for pathUniv --- Eval.hs | 18 +++++++++--------- 1 file changed, 9 insertions(+), 9 deletions(-) diff --git a/Eval.hs b/Eval.hs index 95e61b4..e2c8d45 100644 --- a/Eval.hs +++ b/Eval.hs @@ -582,15 +582,15 @@ compU i a es w0 ws = pathUniv :: Name -> Val -> System Val -> Val -> Val pathUniv i e us ui0 = VPath k xi1 where j:k:_ = freshs (Atom i,e,us,ui0) - ej = e @@ j - ui1 = genComp i (e @@ Zero) ui0 us - ws = mapWithKey (\alpha uAlpha -> - transFill j (ej `face` alpha) uAlpha) - us - wi0 = transFill j (ej `face` (i ~> 0)) ui0 - wi1 = genComp i ej wi0 ws - wi1' = transFill j (ej `face` (i ~> 1)) ui1 - xi1 = genComp j (ej `face` (i ~> 1)) ui1 + ej = e @@ j + ui1 = comp i (e @@ One) ui0 us + ws = mapWithKey (\alpha uAlpha -> + transFillNeg j (ej `face` alpha) uAlpha) + us + wi0 = transFillNeg j (ej `face` (i ~> 0)) ui0 + wi1 = comp i ej wi0 ws + wi1' = transFillNeg j (ej `face` (i ~> 1)) ui1 + xi1 = genCompNeg j (ej `face` (i ~> 1)) ui1 (mkSystem [(k ~> 1, wi1'), (k ~> 0, wi1)]) transU :: Name -> Val -> System Val -> Val -> Val -- 2.34.1