diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/lux.lux | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/source/lux.lux b/stdlib/source/lux.lux index 76db92f2f..30f38897b 100644 --- a/stdlib/source/lux.lux +++ b/stdlib/source/lux.lux @@ -3721,9 +3721,9 @@ (if (empty? args) (let [g!param (symbol$ ["" ""]) prime-name (symbol$ ["" name]) - type+ (replace-syntax (list [name (` ((~ prime-name) (~ g!param)))]) type)] + type+ (replace-syntax (list [name (` ((~ prime-name) #;Void))]) type)] (#Some (` ((All (~ prime-name) [(~ g!param)] (~ type+)) - Void)))) + #;Void)))) #None) (case args #Nil |