@@ -157,7 +157,6 @@ renderDeclaration (P.DataDeclaration dtype name args ctors) title =
157 ctor'' = P.TypeConstructor (P.Qualified Nothing ctor')
157 ctor'' = P.TypeConstructor (P.Qualified Nothing ctor')
158 typeApp' = foldl P.TypeApp ctor'' tys
158 typeApp' = foldl P.TypeApp ctor'' tys
159 ctorSignature = renderType typeApp'
159 ctorSignature = renderType typeApp'
160− -- TODO: add forall for all free type variables
161 ctorCode = ident (show ctor') <> sp <> syntax "::" <> sp <> renderType ctorType
160 ctorCode = ident (show ctor') <> sp <> syntax "::" <> sp <> renderType ctorType
162 ctorType = P.quantify $ foldr (\a b -> P.TypeApp (P.TypeApp P.tyFunction a) b) typeApp tys
161 ctorType = P.quantify $ foldr (\a b -> P.TypeApp (P.TypeApp P.tyFunction a) b) typeApp tys
163renderDeclaration (P.ExternDataDeclaration name kind') title =
162renderDeclaration (P.ExternDataDeclaration name kind') title =