ppretty tyvars

2024-03-26 12:12:31 -06:00
parent d217b5b830
commit ed353f02ab
4 changed files with 57 additions and 25 deletions
--- a/app/Server.hs
+++ b/app/Server.hs
@@ -92,8 +92,7 @@ serialiseSc :: (PsName, [Pat PsName], Cofree (RlpExprF PsName) (Type PsName))
 serialiseSc (n,as,e) = object
    [ "name" .= n
    , "args" .= as
-    , "body" .= let rootType = extract e
-                in serialiseAnnotated (e <&> prettyVars rootType) ]
+    , "body" .= serialiseAnnotated (e <&> renamePrettily) ]

 serialiseAnnotated :: Cofree (RlpExprF PsName) (Type PsName)
                   -> Value