mirror of
https://github.com/Kindelia/Kind2.git
synced 2024-09-11 07:15:45 +03:00
fix merge weirdness
This commit is contained in:
parent
faca8be21f
commit
fe3c30e954
@ -492,19 +492,6 @@ Lit.Core.World.run.statement(
|
||||
log("error: exec failed in typecheck") none
|
||||
}
|
||||
|
||||
Lit.Core.World.run.exec(
|
||||
exec: Lit.Core.Exec
|
||||
world: Lit.Core.World
|
||||
): Maybe<Lit.Core.World>
|
||||
open exec
|
||||
let type = Lit.Core.World.get_type(exec.otyp, world) abort log("error: exec otyp not found") none
|
||||
if Lit.Core.World.check.term(exec.expr, type, {}, world, exec.user) then
|
||||
let {result, world} = Lit.Core.World.run.term(exec.expr, exec.user, world, {})
|
||||
log("- ext_exec: " | Lit.Lang.show.term(result, world))
|
||||
some(world)
|
||||
else
|
||||
log("error: exec failed in typecheck") none
|
||||
|
||||
Lit.Core.World.run.term(
|
||||
term: Lit.Core.Term
|
||||
world: Lit.Core.World
|
||||
|
Loading…
Reference in New Issue
Block a user