Check parameter counts in mkConcSm instead of the actual generate functions.
[matthijs/master-project/cλash.git] / GlobalNameTable.hs
index ef4b25ed986d542c79465bc46793f3c0de9a21e8..756c6113c932e978e29a7bccd52d84669250e0e0 100644 (file)
@@ -17,6 +17,10 @@ mkGlobalNameTable = Map.fromList
 
 globalNameTable :: NameTable
 globalNameTable = mkGlobalNameTable
-  [ (show ('(V.!))           , (2, genExprFCall2L exId                           ) )
-  , ("head"          , (1, genExprFCall1L headId                         ) )
-  ]
\ No newline at end of file
+  [ ("!"              , (2, genExprFCall exId                             ) )
+  , ("head"           , (1, genExprFCall headId                           ) )
+  , ("hwxor"          , (2, genExprOp2 AST.Xor                            ) )
+  , ("hwand"          , (2, genExprOp2 AST.And                            ) )
+  , ("hwor"           , (2, genExprOp2 AST.And                            ) )
+  , ("hwnot"          , (1, genExprOp1 AST.Not                            ) )
+  ]