1
1
Fork 0
mirror of https://github.com/azur1s/bobbylisp.git synced 2024-10-16 02:37:40 -05:00
bobbylisp/example/err_ty.hlm

10 lines
207 B
Plaintext
Raw Permalink Normal View History

2023-07-02 04:35:46 -05:00
let f = fun (a (Int) -> Int, y Int) -> a(y);
let g = fun (a (Int, Int) -> Int, y Int) -> a(y, 1);
let a = fun (x Int) -> x + 1;
let b = fun (x Int, y Int) -> x + y;
f(a, 1);
g(a, 1);
f(b, 1);
g(b, 1);