diff options
author | Eduardo Julian | 2017-07-15 20:45:10 -0400 |
---|---|---|
committer | Eduardo Julian | 2017-07-15 20:45:10 -0400 |
commit | 4c36eaf769bc74e708d1f63e67ff612176963731 (patch) | |
tree | 797ca6d0222bae3293646e690ad58690f89b6b2c /stdlib/source/lux.lux | |
parent | fbd8a37baf6d50d62716d69b451d4ac58b872283 (diff) |
- Can now generate Eq instances for #rec-style recursive types.
- Minor refactorings.
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 |