Function types and literals

examples/src/FunctionsAndTypes.jetl

@@ -26,6 +26,7 @@ val f1 = {(t : T) : X => something(t)}
 fun f1(t : T) : X = something(t)
 
 val f1 = {(t : T) => something(t)}
+val f1 = {(T) : X => something(it)}
 val f1 = {t => something(t)}
 val f1 = {something(it)}
 

grammar/src/expressions.grm

@@ -26,7 +26,9 @@ tupleLiteral
   ;
 
 functionLiteral
-  : "{" (parameter | SimpleName)* "=>" expression "}"
+  : "{" SimpleName "=>" expression "}"
+  : "{" functionTypeContents "=>" expression "}"
+  : "{" "(" parameter{","} ")" "=>" expression "}"
   ;
 
 constructorInvocation

grammar/src/types.grm

@@ -15,15 +15,27 @@ type
   ;
 
 userType
-  : name ("<" type{","} ">")?
+  : name ("<" (projectionSpecifier type){","} ">")?
+  ;
+
+projectionSpecifier
+  : "in"
+  : "out"
+  : empty
   ;
 
 functionType
-  : "{" type{","} "=>" type "}"
+  : "{" functionTypeContents "}"
+  ;
+
+functionTypeContents
+  : "(" (parameter | type){","} ")" ":" type
   ;
 
 tupleType
-  : "(" type"{","} ")"
+  : "(" type{","} ")"
   ;
 
 
+////////////////////////////////////////
+