diff options
| author | bringert <bringert@cs.chalmers.se> | 2005-11-30 21:02:44 +0000 |
|---|---|---|
| committer | bringert <bringert@cs.chalmers.se> | 2005-11-30 21:02:44 +0000 |
| commit | 71fb2c16cd551eb4f9c41855baba62d6c186d8d3 (patch) | |
| tree | 9e5cb27b43c9fd262886e0441397ba1b39a09b25 /transfer/examples/test.tr | |
| parent | 7dfa1842859b408d0eadd4d79a5b1ce0267a13b2 (diff) | |
Transfer: added example which makes the layout resolver go wrong. Added binary conversion from numerals.
Diffstat (limited to 'transfer/examples/test.tr')
| -rw-r--r-- | transfer/examples/test.tr | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/transfer/examples/test.tr b/transfer/examples/test.tr index de1ee75c0..7f94788a4 100644 --- a/transfer/examples/test.tr +++ b/transfer/examples/test.tr @@ -1,3 +1,4 @@ -import prelude - -main = x :: y :: z :: []
\ No newline at end of file +main = let x : Type = case n of + n2 -> 2 + n3 -> 3 + in f Numeral
\ No newline at end of file |