summaryrefslogtreecommitdiff
path: root/test
diff options
context:
space:
mode:
authorOri Bernstein <ori@eigenstate.org>2015-03-09 00:57:24 -0700
committerOri Bernstein <ori@eigenstate.org>2015-03-09 00:57:24 -0700
commite802a58426b982f88d2dba72fb6762d1ae2ed8f8 (patch)
tree3ee647df8699a4d178012700b1b23ca9feae20f7 /test
parenta3b2adffd9eeb3d15e54cfcba7b1f1097ade002d (diff)
downloadmc-e802a58426b982f88d2dba72fb6762d1ae2ed8f8.tar.gz
Make type substitution more robust.
Break out Tyname into Tygeneric and Tyname. Tygeneric acts like a function returning a fully substituted Tyname.
Diffstat (limited to 'test')
-rw-r--r--test/genericrec.myr4
1 files changed, 3 insertions, 1 deletions
diff --git a/test/genericrec.myr b/test/genericrec.myr
index 414c596..f7305d4 100644
--- a/test/genericrec.myr
+++ b/test/genericrec.myr
@@ -8,9 +8,11 @@ type list(@t) = struct
const main = {
var v : list(int)
- var n
v.val = 123
v.next = std.alloc()
v.next.val = 234
+ var n = std.alloc()
+ v.next.next = n
+ n.val = 345
}