use the syntax <x : A> in PGF.Expr for typed expressions. This is consistent with the GF language

1 files changed, 12 insertions, 12 deletions

diff --git a/testsuite/runtime/eval/eval.gfs b/testsuite/runtime/eval/eval.gfs
index c232161f4..9317ce92a 100644
--- a/testsuite/runtime/eval/eval.gfs
+++ b/testsuite/runtime/eval/eval.gfs
@@ -1,28 +1,28 @@
 i -src testsuite/runtime/eval/Test.gf
 
-pt -compute \x -> x 1 : (Int->Int)->Int
-pt -compute (? : Int -> Int) 1
-pt -compute (\x -> x 1 : (Int->Int)->Int) ?
+pt -compute <\x -> x 1 : (Int->Int)->Int>
+pt -compute <? : Int -> Int> 1
+pt -compute <\x -> x 1 : (Int->Int)->Int> ?
 pt -compute f 1 2
-pt -compute \x -> x : Nat -> Nat
-pt -compute ? : String
+pt -compute <\x -> x : Nat -> Nat>
+pt -compute <? : String>
 pt -compute f
-pt -compute (\x -> x 2 : (Int->Int)->Int) (f 1)
+pt -compute <\x -> x 2 : (Int->Int)->Int> (f 1)
 pt -compute g 1
 pt -compute g 0
-pt -compute \x -> g x : Int -> Int
+pt -compute <\x -> g x : Int -> Int>
 pt -compute g ?
-pt -compute (\x -> x 5 : (Int->Int)->Int) (g2 1)
-pt -compute (\x -> x 3 : (Int->Int)->Int) (\x -> x)
+pt -compute <\x -> x 5 : (Int->Int)->Int> (g2 1)
+pt -compute <\x -> x 3 : (Int->Int)->Int> (\x -> x)
 pt -compute g0
-pt -compute (\x -> x 32 : (Int -> Int -> Int) -> Int -> Int) (\x -> f x : Int -> Int -> Int)
+pt -compute <\x -> x 32 : (Int -> Int -> Int) -> Int -> Int> <\x -> f x : Int -> Int -> Int>
 pt -compute g0 23
 pt -compute const 3.14 "pi"
 pt -compute dec (succ (succ zero))
 pt -compute dec (succ ?)
-pt -compute \x -> dec x : Nat -> Nat
+pt -compute <\x -> dec x : Nat -> Nat>
 pt -compute dec ?
-pt -compute (\f -> f 0 : (Int -> Int) -> Int) (g3 ?)
+pt -compute <\f -> f 0 : (Int -> Int) -> Int> (g3 ?)
 pt -compute g (g2 ? 0)
 pt -compute plus (succ zero) (succ zero)
 pt -compute dec2 0 (succ zero)