git.iko.soy/elk
on master help sign in
Use letters for arguments in adt constructors
648cbd4Evan Czaplicki
compiler/Type/Constrain/Declaration.hs+1−1
compare with master
unifiedsplit
@@ -23,7 +23,7 @@ toDefs decl =
23 Datatype name tvars constructors -> concatMap toDefs constructors
23 Datatype name tvars constructors -> concatMap toDefs constructors
24 where
24 where
25 toDefs (ctor, tipes) =
25 toDefs (ctor, tipes) =
26− let vars = take (length tipes) $ map (\n -> "_" ++ show n) [0..]
26+ let vars = take (length tipes) $ map (:[]) ['a'..'z'] ++ map (\n -> "_" ++ show n) [1..]
27 loc = Src.none
27 loc = Src.none
28 body = loc . Src.Data ctor $ map (loc . Src.Var) vars
28 body = loc . Src.Data ctor $ map (loc . Src.Var) vars
29 in [ Src.TypeAnnotation ctor $
29 in [ Src.TypeAnnotation ctor $