Update test045.juvix

anoma · Mar 23, 2023 · af9e081 · af9e081
1 parent 50a809d
commit af9e081
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/tests/Compilation/positive/test045.juvix b/tests/Compilation/positive/test045.juvix
@@ -1,4 +1,6 @@
 -- implicit builtin bool
+-- Builtin nat requires builtin bool when translated to integers, because 
+-- matching is translated to comparison operators and cases on booleans.
 module test045;
   builtin nat type Nat :=
     | zero : Nat