mirror of
https://github.com/HigherOrderCO/Kind1.git
synced 2024-10-26 13:09:53 +03:00
Fix kdl tests
This commit is contained in:
parent
b06dd3f64e
commit
2a2018ac8f
@ -0,0 +1,4 @@
|
||||
fun (JOJO ) {
|
||||
(JOJO) = #42
|
||||
}
|
||||
|
@ -1,3 +1,4 @@
|
||||
#kdl_name = JOJO
|
||||
#keep
|
||||
Jonathan.Joestar : U60
|
||||
Jonathan.Joestar = 42
|
@ -0,0 +1,8 @@
|
||||
fun (CoolFnApp n) {
|
||||
(CoolFnApp x0) = (!@x0.0 (!@x1 (!@x1.0 (!x1.0 x0.0) x1) @x2 (!@x2.0 (!(CoolFn) x2.0) x2)) x0)
|
||||
}
|
||||
|
||||
fun (CoolFn ) {
|
||||
(CoolFn) = @x0 (!@x0.0 (& (* #2 x0.0) #1152921504606846975) x0)
|
||||
}
|
||||
|
@ -1,7 +1,9 @@
|
||||
#keep
|
||||
CoolFn : U60 -> U60 {
|
||||
(x: U60) => (* 2 x)
|
||||
}
|
||||
|
||||
#keep
|
||||
CoolFnApp (n: U60) : U60 {
|
||||
let lam = (x: U60) => ((CoolFn) x)
|
||||
(lam n)
|
||||
|
@ -1 +1,10 @@
|
||||
ctr {MyFn.state}
|
||||
ERROR This entry should only have one rule.
|
||||
|
||||
/--[suite/kdl/NonInlineState.kind2:7:1]
|
||||
|
|
||||
6 |
|
||||
7 | MyFn.state : U60
|
||||
| v---------------
|
||||
| \Here!
|
||||
|
||||
|
||||
|
@ -1,4 +1,5 @@
|
||||
#kdl_state = MyFn.state
|
||||
#keep
|
||||
MyFn : U60 {
|
||||
1
|
||||
}
|
||||
|
@ -0,0 +1,4 @@
|
||||
fun (NDFMHGgkiOr2 ) {
|
||||
(NDFMHGgkiOr2) = #0
|
||||
}
|
||||
|
@ -1,3 +1,4 @@
|
||||
#keep
|
||||
FunctionWithAVeryLongName : U60 {
|
||||
0
|
||||
}
|
@ -1,4 +1,3 @@
|
||||
#kdl_run
|
||||
#keep
|
||||
Main: U60
|
||||
Main = 2
|
Loading…
Reference in New Issue
Block a user