@@ -25,7 +25,7 @@ toDefs decl =
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 (\n -> "_" ++ show n) [0..]
27 loc = Src.none
27 loc = Src.none
28− body = loc . Src.Data name $ 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 $
30 foldr Type.Lambda (Type.Data name $ map Type.Var tvars) tipes
30 foldr Type.Lambda (Type.Data name $ map Type.Var tvars) tipes
31 , Src.Def (Src.PVar ctor) $
31 , Src.Def (Src.PVar ctor) $