diff options
author | Nadrieril | 2019-04-16 22:06:01 +0200 |
---|---|---|
committer | Nadrieril | 2019-04-16 22:06:01 +0200 |
commit | 47d5dbcfffa7842466187197513ffa403a0fdb59 (patch) | |
tree | 9fb5c54ae85957c259cddf8bf81aeb3f51f731b4 /dhall/src/normalize.rs | |
parent | d93be73890d0db0d34afaaebd3db1b87d68fb9b7 (diff) |
Handle nullary union variants
Closes #36
Diffstat (limited to '')
-rw-r--r-- | dhall/src/normalize.rs | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/dhall/src/normalize.rs b/dhall/src/normalize.rs index fa669d8..7f56669 100644 --- a/dhall/src/normalize.rs +++ b/dhall/src/normalize.rs @@ -667,12 +667,12 @@ mod spec_tests { norm!(success_unit_True, "unit/True"); norm!(success_unit_Type, "unit/Type"); norm!(success_unit_TypeAnnotation, "unit/TypeAnnotation"); - // norm!(success_unit_UnionNormalizeAlternatives, "unit/UnionNormalizeAlternatives"); + norm!(success_unit_UnionNormalizeAlternatives, "unit/UnionNormalizeAlternatives"); norm!(success_unit_UnionNormalizeArguments, "unit/UnionNormalizeArguments"); - // norm!(success_unit_UnionProjectConstructor, "unit/UnionProjectConstructor"); - // norm!(success_unit_UnionSortAlternatives, "unit/UnionSortAlternatives"); - // norm!(success_unit_UnionType, "unit/UnionType"); + norm!(success_unit_UnionProjectConstructor, "unit/UnionProjectConstructor"); + norm!(success_unit_UnionSortAlternatives, "unit/UnionSortAlternatives"); + norm!(success_unit_UnionType, "unit/UnionType"); norm!(success_unit_UnionTypeEmpty, "unit/UnionTypeEmpty"); - // norm!(success_unit_UnionTypeNormalizeArguments, "unit/UnionTypeNormalizeArguments"); + norm!(success_unit_UnionTypeNormalizeArguments, "unit/UnionTypeNormalizeArguments"); norm!(success_unit_Variable, "unit/Variable"); } |