Commit da091a1b authored by Marc Coiffier's avatar Marc Coiffier
Browse files

Successful build (on Tue Apr 30 17:49:46 CEST 2019)

parent 0c58db66
......@@ -483,16 +483,16 @@ showNode' dir = go 0
[DocSpace,DocAssoc x' (go 0 env' tx)] + bind_tail ((x',tx):env') e
where x' = fresh (map fst env') x
bind_tail env' x = [bind_sep t,DocSpace,go 0 env' x]
go d env (Cons a) = showA d a
where showA _ (Ap h xs) =
go d env (Cons a) = showA d env a
where showA _ envA (Ap h xs) =
let ni = case h of
Sym i -> DocVarName $ case drop i env of
Sym i -> DocVarName $ case drop i envA of
(h',_):_ -> h'
_ -> "#"+fromString (show i)
Mu _ _ a' -> DocMu (showA 0 a')
Mu envD _ a' -> DocMu (showA 0 (map (\(x,tx,_) -> (x,tx)) envD + envA) a')
Axiom _ ax -> DocText (fromString $ show ax)
lvl = if empty xs then 1000 else 1
in par lvl d $ DocSeq $ intercalate [DocSpace] $ map pure (ni:map (go 2 env) xs)
in par lvl d $ DocSeq $ intercalate [DocSpace] $ map pure (ni:map (go 2 envA) xs)
toPat d env x
| (pats,(_,k)):_ <- findPattern dir x =
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment