Basic2.mls

:NewDefs
:NoJS

// More specific checks from parser folder

let res = code"[]"
//│ let res: Code[[], nothing]
run(res)
//│ []

let res = code"()"
run(res)
//│ let res: Code[(), nothing]
//│ ()

let res = code"(1,)"
run(res)
//│ let res: Code[1, nothing]
//│ 1

let res = code"let f = (x, y, z) => x + y + x in f of 1,2,3"
run(res)
//│ let res: Code[Int, nothing]
//│ Int

//any of a, b, c -> codegen error from unresolved symbol "any"

:pe
code"// Can I comment?"
//│ ╔══[PARSE ERROR] Unmatched opening quasiquote
//│ ║  l.29: 	code"// Can I comment?"
//│ ╙──      	^^^^^
//│ 

let res = code"[x: 1,]"
//│ let res: Code[[x: 1], nothing]
run(res)
//│ [x: 1]

// :ge
:e
code"let x = {a: 100} in x . a" // "." ?
//│ ╔══[ERROR] unbound quoted variable: .
//│ ║  l.42: 	code"let x = {a: 100} in x . a" // "." ?
//│ ╙──      	                           ^
//│ ╔══[ERROR] unbound quoted variable: a
//│ ║  l.42: 	code"let x = {a: 100} in x . a" // "." ?
//│ ╙──      	                             ^
//│ Code[error, nothing]


code"let x = {a: 100} in x.a"
//│ Code[100, nothing]


// should be ok
let res = code"let x = {a: 100} in x .a"
//│ let res: Code[100, nothing]

run(res)
//│ 100

let app = code"f => x => f(x)"
run(app)(id)(1)
//│ let app: Code[forall 'a 'b. ('a -> 'b) -> 'a -> 'b, nothing]
//│ 1

:e
code"f => x => f(${run(x)})"
//│ ╔══[ERROR] Type mismatch in application:
//│ ║  l.69: 	code"f => x => f(${run(x)})"
//│ ║        	                   ^^^^^^
//│ ╙── expression of type `?x` does not match type `nothing`
//│ Code[forall 'a 'b. ('a -> 'b) -> Code['a, anything] -> 'b, nothing]


run(code"(x => x + 1)(${Const(42)})")
//│ Int