HigherOrderCO/Kind1
1
1
Fork 0
mirror of https://github.com/HigherOrderCO/Kind1.git synced 2024-09-11 08:45:32 +03:00
Code Issues Packages Projects Releases Wiki Activity

Fix expected/detected flipped

Browse Source
This commit is contained in:
Victor Maia 2022-08-17 21:22:58 -03:00
parent e8cc429948
commit b109ee674f
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
Cargo.toml
View File

@ -1,6 +1,6 @@
[package]
name = "kind2"
version = "0.2.61"
version = "0.2.62"
edition = "2021"
description = "A pure functional functional language that uses the HVM."
repository = "https://github.com/Kindelia/Kind2"

2
src/checker.hvm
View File

@ -1085,7 +1085,7 @@ Line = (String.cons 10 String.nil)
ask term_typ = (Checker.bind (Infer term))
((Bool.if rhs
@term_typ @type
(Checker.new_equation orig term_typ type)
(Checker.new_equation orig type term_typ)
@term_typ @type
ask is_equal = (Checker.bind (Equal (Eval term_typ) (Eval type)))
(Bool.if is_equal