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

Fix test constructor name

Browse Source
This commit is contained in:
imaqtkatt 2024-01-24 16:45:26 -03:00
parent fa8cdc3941
commit 898440d025
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
tests/golden_tests/run_file/override_list_ctr.hvm
View File

@ -1,4 +1,4 @@
data Override
= SNil
= LNil
main = [λz λk z]

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

@ -2,4 +2,4 @@
source: tests/golden_tests.rs
input_file: tests/golden_tests/run_file/override_list_ctr.hvm
---
SNil is a built-in constructor and should not be overriden.
LNil is a built-in constructor and should not be overriden.