HigherOrderCO/Bend
1
1
Fork 0
mirror of https://github.com/HigherOrderCO/Bend.git synced 2024-11-05 04:51:40 +03:00
Code Issues Packages Projects Releases Wiki Activity

Update Term default , update tests

Browse Source
This commit is contained in:
LunaAmora 2024-02-05 14:15:53 -03:00
parent 0bcabe93bc
commit a492a7f683
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/term/mod.rs
View File

@ -151,8 +151,8 @@ pub enum Term {
Ref {
def_id: DefId,
},
#[default]
Era,
#[default]
Invalid,
}

2
tests/snapshots/readback_lnet__invalid_op2_op2.hvm.snap
View File

@ -3,6 +3,6 @@ source: tests/golden_tests.rs
input_file: tests/golden_tests/readback_lnet/invalid_op2_op2.hvm
---
Readback Warning:
Invalid Op2 with 2 occurrences
Invalid Numeric Operation with 2 occurrences
λa (+ (+ <Invalid> 1) (1 <Invalid>))