diff options
| author | Eduardo Julian | 2016-12-27 05:53:49 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2016-12-27 05:53:49 -0400 |
| commit | 1714be1b845c221008f694ad0d39eb33f7ddcb17 (patch) | |
| tree | 0621f472b9703e2be91f4158d934e45fb081cf1a | |
| parent | 0ac6c2ef4d297eed53eb682ca8627a54f41e5ca2 (diff) | |
- Fixed a bug in a test.
Diffstat (limited to '')
| -rw-r--r-- | stdlib/test/test/lux/type.lux | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/stdlib/test/test/lux/type.lux b/stdlib/test/test/lux/type.lux index ac606079b..4bf5de8ae 100644 --- a/stdlib/test/test/lux/type.lux +++ b/stdlib/test/test/lux/type.lux @@ -117,7 +117,7 @@ extra (|> gen-type (R;filter (lambda [type] (case type - (^or (#;LambdaT _) (#;ProdT _)) + (^or (#;LambdaT _) (#;AppT _)) false _ |