mirror of
https://github.com/Kindelia/Kind2.git
synced 2024-09-11 07:15:45 +03:00
Remove unecessary check
This commit is contained in:
parent
703989fa3d
commit
09d5fb1ec6
@ -200,9 +200,8 @@ Litereum.check(
|
||||
case term {
|
||||
var:
|
||||
let var_type = context{term.name} abort false
|
||||
let def0 = Maybe.is_some!(world.name_to_index{term.name})
|
||||
////log("-- var " | term.name | " " | Litereum.show.type.short(var_type) | " " | Litereum.show.type.short(type)) // DEBUG
|
||||
def0 && Litereum.equal(var_type, type)
|
||||
Litereum.equal(var_type, type)
|
||||
let:
|
||||
//log("-- let ") // DEBUG
|
||||
let def0 = Maybe.is_some!(world.name_to_index{term.name})
|
||||
|
Loading…
Reference in New Issue
Block a user