diff options
| author | aarne <unknown> | 2004-02-27 07:43:52 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2004-02-27 07:43:52 +0000 |
| commit | 0166b27ee45f24fb60d79498a5d15b4f316191f3 (patch) | |
| tree | 72a5c1aa21ee0856ce1a621d094471d056040385 /src/GF/Source/PrintGF.hs | |
| parent | 2e1b57878329eb6a1822ef43c190f8a2aaaa82b7 (diff) | |
Started with unions.
Diffstat (limited to 'src/GF/Source/PrintGF.hs')
| -rw-r--r-- | src/GF/Source/PrintGF.hs | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/src/GF/Source/PrintGF.hs b/src/GF/Source/PrintGF.hs index aa5909e33..b06e09a1b 100644 --- a/src/GF/Source/PrintGF.hs +++ b/src/GF/Source/PrintGF.hs @@ -134,7 +134,7 @@ instance Print ModBody where MBody extend opens topdefs -> prPrec i 0 (concat [prt 0 extend , prt 0 opens , ["{"] , prt 0 topdefs , ["}"]]) MWith id opens -> prPrec i 0 (concat [prt 0 id , ["with"] , prt 0 opens]) MReuse id -> prPrec i 0 (concat [["reuse"] , prt 0 id]) - + MUnion includeds -> prPrec i 0 (concat [["union"] , prt 0 includeds]) instance Print Extend where prt i e = case e of @@ -171,6 +171,15 @@ instance Print QualOpen where QOIncompl -> prPrec i 0 (concat [["incomplete"]]) QOInterface -> prPrec i 0 (concat [["interface"]]) +instance Print Included where + prt i e = case e of + IAll id -> prPrec i 0 (concat [prt 0 id]) + ISome id ids -> prPrec i 0 (concat [prt 0 id , ["["] , prt 0 ids , ["]"]]) + + prtList es = case es of + [] -> (concat []) + [x] -> (concat [prt 0 x]) + x:xs -> (concat [prt 0 x , [","] , prt 0 xs]) instance Print Def where prt i e = case e of |
