repositories
/
cc1516.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Merge branch 'generation'
[cc1516.git]
/
sem.icl
diff --git
a/sem.icl
b/sem.icl
index
46749ba
..
23fb04a
100644
(file)
--- a/
sem.icl
+++ b/
sem.icl
@@
-37,13
+37,15
@@
variableStream :: [String]
variableStream = map toString [1..]
sem :: AST -> SemOutput
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
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
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: "
instance toString SemError where
toString se = "SemError: "