-globalNameTable :: TypeState -> NameTable
-globalNameTable ty_state = Map.fromList
- [ (exId , (2, genFCall ty_state False ) )
- , (replaceId , (3, genFCall ty_state False ) )
- , (headId , (1, genFCall ty_state True ) )
- , (lastId , (1, genFCall ty_state True ) )
- , (tailId , (1, genFCall ty_state False ) )
- , (initId , (1, genFCall ty_state False ) )
- , (takeId , (2, genFCall ty_state False ) )
- , (dropId , (2, genFCall ty_state False ) )
- , (selId , (4, genFCall ty_state False ) )
- , (plusgtId , (2, genFCall ty_state False ) )
- , (ltplusId , (2, genFCall ty_state False ) )
- , (plusplusId , (2, genFCall ty_state False ) )
- , (mapId , (2, genMap ) )
- , (zipWithId , (3, genZipWith ) )
- , (foldlId , (3, genFoldl ty_state ) )
- , (foldrId , (3, genFoldr ty_state ) )
- , (zipId , (2, genZip ) )
- , (unzipId , (1, genUnzip ) )
- , (shiftlId , (2, genFCall ty_state False ) )
- , (shiftrId , (2, genFCall ty_state False ) )
- , (rotlId , (1, genFCall ty_state False ) )
- , (rotrId , (1, genFCall ty_state False ) )
- , (concatId , (1, genConcat ) )
- , (reverseId , (1, genFCall ty_state False ) )
- , (iteratenId , (3, genIteraten ty_state ) )
- , (iterateId , (2, genIterate ty_state ) )
- , (generatenId , (3, genGeneraten ty_state ) )
- , (generateId , (2, genGenerate ty_state ) )
- , (emptyId , (0, genFCall ty_state False ) )
- , (singletonId , (1, genFCall ty_state False ) )
- , (copynId , (2, genFCall ty_state False ) )
- , (copyId , (1, genCopy ) )
- , (lengthTId , (1, genFCall ty_state False ) )
- , (nullId , (1, genFCall ty_state False ) )
- , (hwxorId , (2, genOperator2 ty_state AST.Xor ) )
- , (hwandId , (2, genOperator2 ty_state AST.And ) )
- , (hworId , (2, genOperator2 ty_state AST.Or ) )
- , (hwnotId , (1, genOperator1 ty_state AST.Not ) )
- , (plusId , (2, genOperator2 ty_state (AST.:+:) ) )
- , (timesId , (2, genOperator2 ty_state (AST.:*:) ) )
- , (negateId , (1, genNegation ty_state ) )
- , (minusId , (2, genOperator2 ty_state (AST.:-:) ) )
- , (fromSizedWordId , (1, genFromSizedWord ty_state ) )
- , (fromIntegerId , (1, genFromInteger ) )
+globalNameTable :: NameTable
+globalNameTable = Map.fromList
+ [ (exId , (2, genFCall False ) )
+ , (replaceId , (3, genFCall False ) )
+ , (headId , (1, genFCall True ) )
+ , (lastId , (1, genFCall True ) )
+ , (tailId , (1, genFCall False ) )
+ , (initId , (1, genFCall False ) )
+ , (takeId , (2, genFCall False ) )
+ , (dropId , (2, genFCall False ) )
+ , (selId , (4, genFCall False ) )
+ , (plusgtId , (2, genFCall False ) )
+ , (ltplusId , (2, genFCall False ) )
+ , (plusplusId , (2, genFCall False ) )
+ , (mapId , (2, genMap ) )
+ , (zipWithId , (3, genZipWith ) )
+ , (foldlId , (3, genFoldl ) )
+ , (foldrId , (3, genFoldr ) )
+ , (zipId , (2, genZip ) )
+ , (unzipId , (1, genUnzip ) )
+ , (shiftlId , (2, genFCall False ) )
+ , (shiftrId , (2, genFCall False ) )
+ , (rotlId , (1, genFCall False ) )
+ , (rotrId , (1, genFCall False ) )
+ , (concatId , (1, genConcat ) )
+ , (reverseId , (1, genFCall False ) )
+ , (iteratenId , (3, genIteraten ) )
+ , (iterateId , (2, genIterate ) )
+ , (generatenId , (3, genGeneraten ) )
+ , (generateId , (2, genGenerate ) )
+ , (emptyId , (0, genFCall False ) )
+ , (singletonId , (1, genFCall False ) )
+ , (copynId , (2, genFCall False ) )
+ , (copyId , (1, genCopy ) )
+ , (lengthTId , (1, genFCall False ) )
+ , (nullId , (1, genFCall False ) )
+ , (hwxorId , (2, genOperator2 AST.Xor ) )
+ , (hwandId , (2, genOperator2 AST.And ) )
+ , (hworId , (2, genOperator2 AST.Or ) )
+ , (hwnotId , (1, genOperator1 AST.Not ) )
+ , (plusId , (2, genOperator2 (AST.:+:) ) )
+ , (timesId , (2, genOperator2 (AST.:*:) ) )
+ , (negateId , (1, genNegation ) )
+ , (minusId , (2, genOperator2 (AST.:-:) ) )
+ , (fromSizedWordId , (1, genFromSizedWord ) )
+ , (fromIntegerId , (1, genFromInteger ) )
+ , (resizeId , (1, genResize ) )