st/lama_byterun
1
0
Fork 0
mirror of https://github.com/ProgramSnail/Lama.git synced 2025-12-06 06:48:48 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

eta in test

Browse source
This commit is contained in:
Dmitry Boulytchev 2021-01-12 01:14:18 +03:00
parent 19252991a5
commit eeddb0b25a
4 changed files with 6 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/X86.ml
View file

@ -542,7 +542,7 @@ let compile cmd env imports code =
| FAIL ((line, col), value) ->
let v, env = if value then env#peek, env else env#pop in
let s, env = env#string cmd#get_infile in
env, [Push (L (box col)); Push (L (box line)); Push (M ("$" ^ s)); Push v; Call "Bmatch_failure"; Binop ("+", L (3 * word_size), esp)]
env, [Push (L (box col)); Push (L (box line)); Push (M ("$" ^ s)); Push v; Call "Bmatch_failure"; Binop ("+", L (4 * word_size), esp)]
| i ->
invalid_arg (Printf.sprintf "invalid SM insn: %s\n" (GT.show(insn) i))

2
src/version.ml
View file

@ -1 +1 @@
let version = "Version 1.00, 53b2efc3b, Fri Dec 11 01:22:25 2020 +0300"
let version = "Version 1.00, 19252991a, Thu Dec 24 02:54:54 2020 +0300"

2
stdlib/Fun.lama
View file

@ -9,7 +9,7 @@ public fun id (x) {
x
}
public infixl $ after := (f, x) {
public infixr $ after := (f, x) {
f (x)
}

6
stdlib/regression/test10.lama
View file

@ -4,10 +4,10 @@ import Fun;
fun many (a) {
memo (
fun (k) {
eta (
empty @ lift({})
| many (a) |> fun (as) {a @ fun (x) {as +++ singleton (x)}} $ k
}
| many (a) |> fun (as) {a @ fun (x) {as +++ singleton (x)}}
)
)
}