diff options
| author | bringert <bringert@cs.chalmers.se> | 2005-11-29 18:16:33 +0000 |
|---|---|---|
| committer | bringert <bringert@cs.chalmers.se> | 2005-11-29 18:16:33 +0000 |
| commit | 9a2dea46d103d180c3b0e0780df4f10a8a16f386 (patch) | |
| tree | f3ddcb3dcff372f877241330301d0fd21a614e72 /src/Transfer/Syntax/Print.hs | |
| parent | 5b9249a422cb1ac172d6b5f1f03d5cde629d6216 (diff) | |
Use rec and sig for records.
Diffstat (limited to 'src/Transfer/Syntax/Print.hs')
| -rw-r--r-- | src/Transfer/Syntax/Print.hs | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/src/Transfer/Syntax/Print.hs b/src/Transfer/Syntax/Print.hs index c9dcacdf5..ee692bd90 100644 --- a/src/Transfer/Syntax/Print.hs +++ b/src/Transfer/Syntax/Print.hs @@ -89,7 +89,7 @@ instance Print (Tree c) where ConsDecl i exp -> prPrec _i 0 (concatD [prt 0 i , doc (showString ":") , prt 0 exp]) PConsTop i pattern patterns -> prPrec _i 0 (concatD [prt 0 i , prt 1 pattern , prt 0 patterns]) PCons i patterns -> prPrec _i 1 (concatD [doc (showString "(") , prt 0 i , prt 0 patterns , doc (showString ")")]) - PRec fieldpatterns -> prPrec _i 1 (concatD [doc (showString "{") , prt 0 fieldpatterns , doc (showString "}")]) + PRec fieldpatterns -> prPrec _i 1 (concatD [doc (showString "rec") , doc (showString "{") , prt 0 fieldpatterns , doc (showString "}")]) PType -> prPrec _i 1 (concatD [doc (showString "Type")]) PStr str -> prPrec _i 1 (concatD [prt 0 str]) PInt n -> prPrec _i 1 (concatD [prt 0 n]) @@ -118,9 +118,8 @@ instance Print (Tree c) where ENeg exp -> prPrec _i 8 (concatD [doc (showString "-") , prt 8 exp]) EApp exp0 exp1 -> prPrec _i 9 (concatD [prt 9 exp0 , prt 10 exp1]) EProj exp i -> prPrec _i 10 (concatD [prt 10 exp , doc (showString ".") , prt 0 i]) - EEmptyRec -> prPrec _i 11 (concatD [doc (showString "{") , doc (showString "}")]) - ERecType fieldtypes -> prPrec _i 11 (concatD [doc (showString "{") , prt 0 fieldtypes , doc (showString "}")]) - ERec fieldvalues -> prPrec _i 11 (concatD [doc (showString "{") , prt 0 fieldvalues , doc (showString "}")]) + ERecType fieldtypes -> prPrec _i 11 (concatD [doc (showString "sig") , doc (showString "{") , prt 0 fieldtypes , doc (showString "}")]) + ERec fieldvalues -> prPrec _i 11 (concatD [doc (showString "rec") , doc (showString "{") , prt 0 fieldvalues , doc (showString "}")]) EVar i -> prPrec _i 11 (concatD [prt 0 i]) EType -> prPrec _i 11 (concatD [doc (showString "Type")]) EStr str -> prPrec _i 11 (concatD [prt 0 str]) @@ -170,9 +169,11 @@ instance Print [Case] where x:xs -> (concatD [prt 0 x , doc (showString ";") , prt 0 xs]) instance Print [FieldType] where prt _ es = case es of + [] -> (concatD []) [x] -> (concatD [prt 0 x]) x:xs -> (concatD [prt 0 x , doc (showString ";") , prt 0 xs]) instance Print [FieldValue] where prt _ es = case es of + [] -> (concatD []) [x] -> (concatD [prt 0 x]) x:xs -> (concatD [prt 0 x , doc (showString ";") , prt 0 xs]) |