Handle nullary union variants

Closes #36

1 files changed, 1 insertions, 1 deletions

diff --git a/dhall/src/typecheck.rs b/dhall/src/typecheck.rs
index d9566d0..ffa149b 100644
--- a/dhall/src/typecheck.rs
+++ b/dhall/src/typecheck.rs
@@ -1021,7 +1021,7 @@ mod spec_tests {
     // tc_success!(tc_success_simple_kindParameter, "simple/kindParameter");
     // tc_success!(tc_success_simple_mergeEquivalence, "simple/mergeEquivalence");
     // tc_success!(tc_success_simple_mixedFieldAccess, "simple/mixedFieldAccess");
-    // tc_success!(tc_success_simple_unionsOfTypes, "simple/unionsOfTypes");
+    tc_success!(tc_success_simple_unionsOfTypes, "simple/unionsOfTypes");
 
     // tc_failure!(tc_failure_combineMixedRecords, "combineMixedRecords");
     // tc_failure!(tc_failure_duplicateFields, "duplicateFields");