Changeset 13359 for src/Pugs/Val

Timestamp:

09/16/06 11:19:16 (2 years ago)

Author:

gaal

Message:

* fix printing of static types: :(Moo $x)

Files:

• src/Pugs/Val/Code.hs (modified) (2 diffs)

src/Pugs/Val/Code.hs

@@ -161 +161 @@
 
 prettyParam :: Param -> Bool -> Bool -> Doc
-prettyParam p isReq isPos = sep [ staticTypes, varDecl, traits, unpacking, constraints, debugDump ]
+prettyParam p isReq isPos = sep [ staticTypes, varDecl, defaultVal, traits, unpacking, constraints, debugDump ]
     where
     varDecl = varName <> defaultHint
@@ -168 +168 @@
         | v_name (p_variable p) == p_label p = text $ ":" ++ (cast $ p_variable p)
         | otherwise = text ":" <> text (cast p_label p) <> (parens $ text (cast p_variable p))
-    -- staticTypes = hsep $ map (text . (cast :: Types.Type -> String)) $ p_types p XXX: why is this wrong?
-    staticTypes = hsep $ map (text . show) $ p_types p
+    staticTypes = hsep $ map (text . Types.showType) $ p_types p
     defaultHint = if not isReq && not haveDefault then text "?" else empty
     haveDefault = isJust $ unDefault $ p_default p
-    defaultVal  = if haveDefault then equals <+> text "..." else empty
+    defaultVal  = if haveDefault then equals <+> text "{...}" else empty -- FIXME: pretty the exp, if we lift into Eval?
     traits      = sep [acc, ref, lazy, slots]
     unpacking   = case p_unpacking p of