git.iko.soy/tix
on master help sign in
Reverted slightly incorrect behaviour
c1e280fiko
src/Tix/Typechecker.hs+3−6
compare with master
unifiedsplit
@@ -114,16 +114,13 @@ showNType t = TL.toStrict . T.toLazyText $ showNType' 0 t
114 <> " }"
114 <> " }"
115 where
115 where
116 showNextNType' = showNType' $ depth + 1
116 showNextNType' = showNType' $ depth + 1
117− currBurjins =
117+ currBurjins = S.mapMonotonic (DeBrujin (- depth)) $ getDeBurjins u
118− M.restrictKeysToRange
119− (Range (DeBrujin (- depth) 0) (DeBrujin (- depth + 1) 0))
120− greekVars
121 foralls =
118 foralls =
122− if M.null currBurjins
119+ if S.null currBurjins
123 then ""
120 then ""
124 else
121 else
125 "∀ "
122 "∀ "
126− <> (mconcat . intersperse " " . M.elems $ currBurjins)
123+ <> (mconcat . intersperse " " . M.elems $ M.restrictKeys greekVars currBurjins)
127 <> ". "
124 <> ". "
128
125
129showAtomicType :: AtomicType -> T.Builder
126showAtomicType :: AtomicType -> T.Builder