diff options
| author | Ori Bernstein <ori@eigenstate.org> | 2015-03-09 00:57:24 -0700 |
|---|---|---|
| committer | Ori Bernstein <ori@eigenstate.org> | 2015-03-09 00:57:24 -0700 |
| commit | e802a58426b982f88d2dba72fb6762d1ae2ed8f8 (patch) | |
| tree | 3ee647df8699a4d178012700b1b23ca9feae20f7 /test/genericrec.myr | |
| parent | a3b2adffd9eeb3d15e54cfcba7b1f1097ade002d (diff) | |
| download | mc-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/genericrec.myr')
| -rw-r--r-- | test/genericrec.myr | 4 |
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 } |