mirror of
https://github.com/Kindelia/Kind2.git
synced 2024-09-11 07:15:45 +03:00
Merge branch 'master' of https://github.com/uwu-tech/Kind
This commit is contained in:
commit
131484e8f6
@ -124,8 +124,8 @@ Kind.Comp.Prim.elim(lang: Kind.Comp.Language, term: Kind.Comp, depth: Nat, defs:
|
||||
let args = for i from 0 to lams_len: args ++ [Kind.Comp.var("c"|Nat.show(i))]
|
||||
let self = "self" | Nat.show(depth)
|
||||
def build_cse = (item)
|
||||
{cse, arg} = item
|
||||
{name, flds} = cse
|
||||
let {cse, arg} = item
|
||||
let {name, flds} = cse
|
||||
|
||||
let flds_len = List.length!(flds)
|
||||
let let_args_n = List.reverse!(List.seq(flds_len))
|
||||
|
@ -87,7 +87,7 @@ Kind.Comp.Target.Scheme.program(main: String, defs: String): String
|
||||
Kind.Comp.Target.Scheme.select(term: String, cse_body_list: List<Pair<String, String>>): String
|
||||
let cses = ""
|
||||
for cse_body in cse_body_list with cses:
|
||||
{cse, body} = cse_body
|
||||
let {cse, body} = cse_body
|
||||
cses|" ("|cse|" "|body|")"
|
||||
"(case "|term|cses|")"
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user