diff options
author | Eduardo Julian | 2014-12-26 14:20:19 -0400 |
---|---|---|
committer | Eduardo Julian | 2014-12-26 14:20:19 -0400 |
commit | db3fecf46f602320b48e7ce82ee770a46bba7ba6 (patch) | |
tree | 8b98d608ef6d467028d0b59542ea9886584bae34 /another.lang | |
parent | 0a0300b129df4499782cbe47aeaee581f57cc3db (diff) |
Pattern-matching has been enriched with sub-structural matching.
Diffstat (limited to '')
-rw-r--r-- | another.lang | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/another.lang b/another.lang index 9ff9f8885..ff5bb6f0a 100644 --- a/another.lang +++ b/another.lang @@ -2,8 +2,3 @@ ## (ann id #type (All [x] (-> [x] x))) (def (id x) x) - -#( (def (id x) - (let return "RETURN" - return)) - )# |