From bd2f46583c058e427bbacd6dbcfc1a0ccdf25718 Mon Sep 17 00:00:00 2001 From: krasimir Date: Thu, 17 Sep 2009 14:32:20 +0000 Subject: remove the transfer modules. We don't need anything special, a transfer module is module without concrete syntax --- src/GF/Grammar/Printer.hs | 1 - 1 file changed, 1 deletion(-) (limited to 'src/GF/Grammar/Printer.hs') diff --git a/src/GF/Grammar/Printer.hs b/src/GF/Grammar/Printer.hs index a5beec99a..9e760b4fd 100644 --- a/src/GF/Grammar/Printer.hs +++ b/src/GF/Grammar/Printer.hs @@ -58,7 +58,6 @@ ppModule q (mn, ModInfo mtype mstat opts exts with opens _ jments _) = modTypeDoc = case mtype of MTAbstract -> text "abstract" <+> ppIdent mn - MTTransfer src dst -> text "transfer" <+> ppIdent mn <+> colon <+> ppOpenSpec src <+> text "->" <+> ppOpenSpec dst MTResource -> text "resource" <+> ppIdent mn MTConcrete abs -> text "concrete" <+> ppIdent mn <+> text "of" <+> ppIdent abs MTInterface -> text "interface" <+> ppIdent mn -- cgit v1.2.3