diff options
| author | Eduardo Julian | 2019-05-22 00:12:24 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2019-05-22 00:12:24 -0400 |
| commit | 0bc505930accb00f74724f384ee42c9a4dd32beb (patch) | |
| tree | 7c7358b2090fe4023af854bc4cdd8987deaf382d /stdlib/source/lux/host.old.lux | |
| parent | 7406fbf75e7f81b466c02ed07d65e62c86e3230a (diff) | |
Removed the useless #lux.type? annotation tag.
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/lux/host.old.lux | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/stdlib/source/lux/host.old.lux b/stdlib/source/lux/host.old.lux index 9c866a66a..0c6cfcd9e 100644 --- a/stdlib/source/lux/host.old.lux +++ b/stdlib/source/lux/host.old.lux @@ -1510,8 +1510,7 @@ (short-class-name full-name)) params' (list@map (|>> product.left code.local-identifier) params)] (` (def: (~ (code.identifier ["" def-name])) - {#.type? #1 - #..jvm-class (~ (code.text full-name))} + {#..jvm-class (~ (code.text full-name))} Type (All [(~+ params')] (primitive (~ (code.text (sanitize full-name))) |