diff options
| author | aarne <aarne@chalmers.se> | 2011-03-12 11:24:14 +0000 |
|---|---|---|
| committer | aarne <aarne@chalmers.se> | 2011-03-12 11:24:14 +0000 |
| commit | 7361ddea45727e80a79ba42af34e45f9641fc993 (patch) | |
| tree | e4f979850e31a630c42be93515dac7aa92a3c542 /src/compiler/GF/Grammar/Printer.hs | |
| parent | 3ddc29f2dcf57f46c1bd8ff5cc5ebbb910545afd (diff) | |
make it possible to override opers defined in an interface by syntax 'instance Foo of Bar - [f,g,h]'
Diffstat (limited to 'src/compiler/GF/Grammar/Printer.hs')
| -rw-r--r-- | src/compiler/GF/Grammar/Printer.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/compiler/GF/Grammar/Printer.hs b/src/compiler/GF/Grammar/Printer.hs index ee9cd703b..3319f86e8 100644 --- a/src/compiler/GF/Grammar/Printer.hs +++ b/src/compiler/GF/Grammar/Printer.hs @@ -61,7 +61,7 @@ ppModule q (mn, ModInfo mtype mstat opts exts with opens _ jments) = MTResource -> text "resource" <+> ppIdent mn
MTConcrete abs -> text "concrete" <+> ppIdent mn <+> text "of" <+> ppIdent abs
MTInterface -> text "interface" <+> ppIdent mn
- MTInstance int -> text "instance" <+> ppIdent mn <+> text "of" <+> ppIdent int
+ MTInstance ie -> text "instance" <+> ppIdent mn <+> text "of" <+> ppExtends ie
ppExtends (id,MIAll ) = ppIdent id
ppExtends (id,MIOnly incs) = ppIdent id <+> brackets (commaPunct ppIdent incs)
|