Update cspell and add nat resugar test

This commit is contained in:
imaqtkatt 2024-03-19 13:59:17 -03:00
parent cf69b99e5a
commit 6b7cbeb7be
3 changed files with 14 additions and 0 deletions

View File

@ -44,6 +44,7 @@
"mult", "mult",
"namegen", "namegen",
"nams", "nams",
"nats",
"numop", "numop",
"nums", "nums",
"oper", "oper",

View File

@ -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)

View File

@ -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))))