projects
/
matthijs
/
master-project
/
cλash.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Let mkConcSm return a list of ConcSms.
[matthijs/master-project/cλash.git]
/
GlobalNameTable.hs
diff --git
a/GlobalNameTable.hs
b/GlobalNameTable.hs
index 8c3faab22c66467362bacb2d64c2fdd165f5de00..6317ebcee9a5125ef01519728edc8f8de05d700f 100644
(file)
--- a/
GlobalNameTable.hs
+++ b/
GlobalNameTable.hs
@@
-17,10
+17,10
@@
mkGlobalNameTable = Map.fromList
globalNameTable :: NameTable
globalNameTable = mkGlobalNameTable
globalNameTable :: NameTable
globalNameTable = mkGlobalNameTable
- [ ("!" , (2, genExprFCall
2L exId
) )
- , ("head" , (1, genExprFCall
1L headId
) )
+ [ ("!" , (2, genExprFCall
exId
) )
+ , ("head" , (1, genExprFCall
headId
) )
, ("hwxor" , (2, genExprOp2 AST.Xor ) )
, ("hwand" , (2, genExprOp2 AST.And ) )
, ("hwxor" , (2, genExprOp2 AST.Xor ) )
, ("hwand" , (2, genExprOp2 AST.And ) )
- , ("hwor" , (2, genExprOp2 AST.
And
) )
+ , ("hwor" , (2, genExprOp2 AST.
Or
) )
, ("hwnot" , (1, genExprOp1 AST.Not ) )
]
, ("hwnot" , (1, genExprOp1 AST.Not ) )
]