Add debug flag cli test

HigherOrderCO · Mar 12, 2024 · 85c5c45 · 85c5c45
1 parent 2f0c3de
commit 85c5c45
Show file tree

Hide file tree

Showing 3 changed files with 43 additions and 0 deletions.
diff --git a/tests/golden_tests/cli/debug_u60_to_nat.args b/tests/golden_tests/cli/debug_u60_to_nat.args
@@ -0,0 +1,4 @@
+run
+tests/golden_tests/cli/debug_u60_to_nat.hvm
+-d
+4
diff --git a/tests/golden_tests/cli/debug_u60_to_nat.hvm b/tests/golden_tests/cli/debug_u60_to_nat.hvm
@@ -0,0 +1,6 @@
+data Nat = (Z) | (S nat)
+
+(U60ToNat 0)   = Z
+(U60ToNat 1+p) = (S (U60ToNat p))
+
+(Main n) = (U60ToNat n)
diff --git a/tests/snapshots/cli__debug_u60_to_nat.hvm.snap b/tests/snapshots/cli__debug_u60_to_nat.hvm.snap
@@ -0,0 +1,33 @@
+---
+source: tests/golden_tests.rs
+input_file: tests/golden_tests/cli/debug_u60_to_nat.hvm
+---
+(λa (U60ToNat a) 4)
+---------------------------------------
+(U60ToNat 4)
+---------------------------------------
+(λa (S (U60ToNat a)) 3)
+---------------------------------------
+(S (U60ToNat 3))
+---------------------------------------
+(S (λa (S (U60ToNat a)) 2))
+---------------------------------------
+(S (S (U60ToNat 2)))
+---------------------------------------
+(S (S (λa (S (U60ToNat a)) 1)))
+---------------------------------------
+(S (S (S (U60ToNat 1))))
+---------------------------------------
+(S (S (S (λa (S (U60ToNat a)) 0))))
+---------------------------------------
+(S (S (S (S (U60ToNat 0)))))
+---------------------------------------
+(S (S (S (S Z))))
+---------------------------------------
+(S (S (S #Nat λ* #Nat λa #Nat (a Z))))
+---------------------------------------
+(S (S #Nat λ* #Nat λa #Nat (a #Nat λ* #Nat λb #Nat (b Z))))
+---------------------------------------
+(S #Nat λ* #Nat λa #Nat (a #Nat λ* #Nat λb #Nat (b #Nat λ* #Nat λc #Nat (c Z))))
+---------------------------------------
+(S (S (S (S Z))))