variableStream = map toString [1..]
sem :: AST -> SemOutput
-sem (AST fd) = Right $ (AST fd, 'Map'.newMap)
+sem (AST fd) = Right (AST fd, 'Map'.newMap)
instance toString Scheme where
- toString (Forall x t) = concat ["Forall ": map ((+++) "\n") x] +++ toString t
+ toString (Forall x t) =
+ concat ["Forall ": map ((+++) "\n") x] +++ toString t
instance toString Gamma where
- toString mp = concat [concat [k, ": ", toString v, "\n"]\\(k, v)<-'Map'.toList mp]
+ toString mp =
+ concat [concat [k, ": ", toString v, "\n"]\\(k, v)<-'Map'.toList mp]
instance toString SemError where
toString se = "SemError: "