974 val reserved_hs = [ |
974 val reserved_hs = [ |
975 "hiding", "deriving", "where", "case", "of", "infix", "infixl", "infixr", |
975 "hiding", "deriving", "where", "case", "of", "infix", "infixl", "infixr", |
976 "import", "default", "forall", "let", "in", "class", "qualified", "data", |
976 "import", "default", "forall", "let", "in", "class", "qualified", "data", |
977 "newtype", "instance", "if", "then", "else", "type", "as", "do", "module" |
977 "newtype", "instance", "if", "then", "else", "type", "as", "do", "module" |
978 ] @ [ |
978 ] @ [ |
979 "Bool", "fst", "snd", "Integer", "True", "False", "negate" |
979 "Bool", "Integer", "True", "False", "negate" |
980 ]; |
980 ]; |
981 fun hs_from_module imps ((_, name), ps) = |
981 fun hs_from_module imps ((_, name), ps) = |
982 (Pretty.chunks) ( |
982 (Pretty.chunks) ( |
983 str ("module " ^ name ^ " where") |
983 str ("module " ^ name ^ " where") |
984 :: map (str o prefix "import qualified ") imps @ ( |
984 :: map (str o prefix "import qualified ") imps @ ( |