diff options
author | Eduardo Julian | 2022-03-05 04:30:09 -0400 |
---|---|---|
committer | Eduardo Julian | 2022-03-05 04:30:09 -0400 |
commit | a7fc50b1906fa97fb56d5ebe3d3fff7baee276da (patch) | |
tree | c62e695c6dc264533abe4003a6338d4a39e958c0 /stdlib/source/library/lux.lux | |
parent | ab9dc5fd656ef42dbb0192f96d34e1c7b451a430 (diff) |
Optimizations for the pure-Lux JVM compiler. [Part 5]
Diffstat (limited to 'stdlib/source/library/lux.lux')
-rw-r--r-- | stdlib/source/library/lux.lux | 21 |
1 files changed, 10 insertions, 11 deletions
diff --git a/stdlib/source/library/lux.lux b/stdlib/source/library/lux.lux index e46090db0..657bc4faa 100644 --- a/stdlib/source/library/lux.lux +++ b/stdlib/source/library/lux.lux @@ -3363,17 +3363,6 @@ {#None} (failure "Wrong syntax for type:"))) -(template [<name> <to>] - [(def: .public (<name> value) - (-> (I64 Any) <to>) - (:as <to> value))] - - [i64 I64] - [nat Nat] - [int Int] - [rev Rev] - ) - (type: Referrals (Variant {#All} @@ -4819,6 +4808,16 @@ {#None} (failure (..wrong_syntax_error (symbol ..template:))))) +(template [<name> <to>] + [(template: .public (<name> it) + [(..|> it (..: (..I64 ..Any)) (..:as <to>))])] + + [i64 ..I64] + [nat ..Nat] + [int ..Int] + [rev ..Rev] + ) + (macro: .public (as_is tokens compiler) {#Right [compiler tokens]}) |