git.iko.soy/Idris-dev
on master help sign in
Use dots to join pretty-printed LCases.
0d1d746Matus Tejiscak
src/IRTS/Lang.hs+1−1
compare with master
unifiedsplit
@@ -245,7 +245,7 @@ instance Show LExp where
245 fmt [alt]
245 fmt [alt]
246 = "\t" ++ ind ++ " | " ++ showAlt env (ind ++ " ") alt
246 = "\t" ++ ind ++ " | " ++ showAlt env (ind ++ " ") alt
247 fmt (alt:as)
247 fmt (alt:as)
248− = "\t" ++ ind ++ " | " ++ showAlt env (ind ++ " ` ") alt
248+ = "\t" ++ ind ++ " | " ++ showAlt env (ind ++ " . ") alt
249 ++ "\n" ++ fmt as
249 ++ "\n" ++ fmt as
250
250
251 show' env ind (LConst c) = show c
251 show' env ind (LConst c) = show c