~thon/thon

77836cf98cc622ea6d9a4405a5ce30b7df2f241e — Evan Bergeron 8 months ago c5ed5b1
Function application associativity is wrong
1 files changed, 5 insertions(+), 0 deletions(-)

A examples/appapp.thon
A examples/appapp.thon => examples/appapp.thon +5 -0
@@ 0,0 1,5 @@
(* BUG currently parses as f (g (h Z)), should parse as f (g (h Z)) *)
fun f : nat -> nat = \ x : nat -> x in
fun g : nat -> nat = \ x : nat -> x in
fun h : nat -> nat = \ x : nat -> x in
(f g h Z)