replaceVar =
AST.VarDec resId
(AST.SubtypeIn vectorTM
- (Just $ AST.IndexConstraint
+ (Just $ AST.ConstraintIndex $ AST.IndexConstraint
[AST.ToRange (AST.PrimLit "0")
(AST.PrimName (AST.NAttribute $
AST.AttribName (AST.NSimple vecPar) lengthId Nothing) AST.:-:
initVar =
AST.VarDec resId
(AST.SubtypeIn vectorTM
- (Just $ AST.IndexConstraint
+ (Just $ AST.ConstraintIndex $ AST.IndexConstraint
[AST.ToRange (AST.PrimLit "0")
(AST.PrimName (AST.NAttribute $
AST.AttribName (AST.NSimple vecPar) lengthId Nothing) AST.:-:
tailVar =
AST.VarDec resId
(AST.SubtypeIn vectorTM
- (Just $ AST.IndexConstraint
+ (Just $ AST.ConstraintIndex $ AST.IndexConstraint
[AST.ToRange (AST.PrimLit "0")
(AST.PrimName (AST.NAttribute $
AST.AttribName (AST.NSimple vecPar) lengthId Nothing) AST.:-:
takeVar =
AST.VarDec resId
(AST.SubtypeIn vectorTM
- (Just $ AST.IndexConstraint
+ (Just $ AST.ConstraintIndex $ AST.IndexConstraint
[AST.ToRange (AST.PrimLit "0")
((AST.PrimName (AST.NSimple nPar)) AST.:-:
(AST.PrimLit "1")) ]))
dropVar =
AST.VarDec resId
(AST.SubtypeIn vectorTM
- (Just $ AST.IndexConstraint
+ (Just $ AST.ConstraintIndex $ AST.IndexConstraint
[AST.ToRange (AST.PrimLit "0")
(AST.PrimName (AST.NAttribute $
AST.AttribName (AST.NSimple vecPar) lengthId Nothing) AST.:-: