projects
/
matthijs
/
master-project
/
cλash.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
597f1b6
)
Builtin function 'empty' now returns a constant empty vector
author
Christiaan Baaij
<christiaan.baaij@gmail.com>
Wed, 24 Jun 2009 09:41:40 +0000
(11:41 +0200)
committer
Christiaan Baaij
<christiaan.baaij@gmail.com>
Wed, 24 Jun 2009 09:41:40 +0000
(11:41 +0200)
Generate.hs
patch
|
blob
|
history
diff --git
a/Generate.hs
b/Generate.hs
index 654dc8625cbc864ce49c15a9c7963d05419bda80..264f4e350099eef9dae70ccffe02f2360eef555f 100644
(file)
--- a/
Generate.hs
+++ b/
Generate.hs
@@
-74,7
+74,7
@@
genUnconsVectorFuns elemTM vectorTM =
, AST.SubProgBody takeSpec [AST.SPVD takeVar] [takeExpr, takeRet]
, AST.SubProgBody dropSpec [AST.SPVD dropVar] [dropExpr, dropRet]
, AST.SubProgBody plusgtSpec [AST.SPVD plusgtVar] [plusgtExpr, plusgtRet]
, AST.SubProgBody takeSpec [AST.SPVD takeVar] [takeExpr, takeRet]
, AST.SubProgBody dropSpec [AST.SPVD dropVar] [dropExpr, dropRet]
, AST.SubProgBody plusgtSpec [AST.SPVD plusgtVar] [plusgtExpr, plusgtRet]
- , AST.SubProgBody emptySpec [AST.SP
V
D emptyVar] [emptyExpr]
+ , AST.SubProgBody emptySpec [AST.SP
C
D emptyVar] [emptyExpr]
, AST.SubProgBody singletonSpec [AST.SPVD singletonVar] [singletonRet]
, AST.SubProgBody copySpec [AST.SPVD copyVar] [copyExpr]
]
, AST.SubProgBody singletonSpec [AST.SPVD singletonVar] [singletonRet]
, AST.SubProgBody copySpec [AST.SPVD copyVar] [copyExpr]
]
@@
-217,12
+217,9
@@
genUnconsVectorFuns elemTM vectorTM =
plusgtRet = AST.ReturnSm (Just $ AST.PrimName $ AST.NSimple resId)
emptySpec = AST.Function emptyId [] vectorTM
emptyVar =
plusgtRet = AST.ReturnSm (Just $ AST.PrimName $ AST.NSimple resId)
emptySpec = AST.Function emptyId [] vectorTM
emptyVar =
- AST.VarDec resId
- (AST.SubtypeIn vectorTM
- (Just $ AST.ConstraintIndex $ AST.IndexConstraint
- [AST.ToRange (AST.PrimLit "0")
- (AST.PrimLit "-1")]))
- Nothing
+ AST.ConstDec resId
+ (AST.SubtypeIn vectorTM Nothing)
+ (Just $ AST.PrimLit "\"\"")
emptyExpr = AST.ReturnSm (Just $ AST.PrimName (AST.NSimple resId))
singletonSpec = AST.Function singletonId [AST.IfaceVarDec aPar elemTM ]
vectorTM
emptyExpr = AST.ReturnSm (Just $ AST.PrimName (AST.NSimple resId))
singletonSpec = AST.Function singletonId [AST.IfaceVarDec aPar elemTM ]
vectorTM