jeltz/heptagon
1
0
Fork 0
Code Issues Pull requests Releases Activity

Fixed typing of iterator

Browse source
This commit is contained in:
Cédric Pasteur 2011-09-08 13:27:31 +02:00 committed by Cédric Pasteur
parent 09afb3aca4
commit 7bf5f3f323
2 changed files with 13 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
compiler/heptagon/analysis/linear_typing.ml
View file

@ -361,6 +361,8 @@ let rec fuse_args_lin args_lin collect_lins =
| args_lin, [] -> args_lin
| (Lat r)::args_lin, collect_lins ->
(Lat r)::(fuse_args_lin args_lin collect_lins)
| (Lvar r)::args_lin, x::collect_lins ->
(Lvar r)::(fuse_args_lin args_lin collect_lins)
| _::args_lin, x::collect_lins ->
x::(fuse_args_lin args_lin collect_lins)

11
test/bad/linear_map.ept Normal file
View file

@ -0,0 +1,11 @@
const n:int = 100
fun f(a:int^n at r) returns (o:int^n at r)
let
o = [ a with [0] = 0 ]
tel
fun g(a:int^n^n) returns (o:int^n^n)
let
o = map<<n>> f (a)
tel