From 6b7cbeb7be287db19c1d62d627c7880a8d383fb3 Mon Sep 17 00:00:00 2001 From: imaqtkatt Date: Tue, 19 Mar 2024 13:59:17 -0300 Subject: [PATCH] Update cspell and add nat resugar test --- cspell.json | 1 + tests/golden_tests/run_file/nat_add_num.hvm | 4 ++++ tests/snapshots/run_file__nat_add_num.hvm.snap | 9 +++++++++ 3 files changed, 14 insertions(+) create mode 100644 tests/golden_tests/run_file/nat_add_num.hvm create mode 100644 tests/snapshots/run_file__nat_add_num.hvm.snap diff --git a/cspell.json b/cspell.json index e115c5a7..3ee82f47 100644 --- a/cspell.json +++ b/cspell.json @@ -44,6 +44,7 @@ "mult", "namegen", "nams", + "nats", "numop", "nums", "oper", diff --git a/tests/golden_tests/run_file/nat_add_num.hvm b/tests/golden_tests/run_file/nat_add_num.hvm new file mode 100644 index 00000000..f1c67dd6 --- /dev/null +++ b/tests/golden_tests/run_file/nat_add_num.hvm @@ -0,0 +1,4 @@ +(Nat.add (Nat.zero) x) = x +(Nat.add (Nat.succ p) x) = (Nat.succ (Nat.add p x)) + +main = (Nat.add #4 0) diff --git a/tests/snapshots/run_file__nat_add_num.hvm.snap b/tests/snapshots/run_file__nat_add_num.hvm.snap new file mode 100644 index 00000000..f9a1ddb9 --- /dev/null +++ b/tests/snapshots/run_file__nat_add_num.hvm.snap @@ -0,0 +1,9 @@ +--- +source: tests/golden_tests.rs +input_file: tests/golden_tests/run_file/nat_add_num.hvm +--- +Lazy mode: +(Nat.succ (Nat.succ (Nat.succ (Nat.succ 0)))) + +Strict mode: +(Nat.succ (Nat.succ (Nat.succ (Nat.succ 0))))