Add more examples of async, attributes, and type abstractions.

Author: cristianoc

tests/syntax_tests/data/parsing/grammar/expressions/async.res

@@ -35,3 +35,10 @@ let ex1 = await 3 + await 4
 let ex2 = await 3 ** await 4
 let ex3 = await foo->bar(~arg)
 let ex4 = await foo.bar.baz
+
+
+let attr1 = @a async x => x+1
+let attr2 = @a async (type a) => (type b c, x) => 3
+let attr3 = @a (type a) => async (type b c, x) => 3
+let attr4 = @a (type a) => @b async (type b c, x) => 3
+let attr5 : int = @a @b async (type a, type b c) => (x:a) => x

tests/syntax_tests/data/parsing/grammar/expressions/expected/async.res.txt

@@ -31,4 +31,13 @@ let bar = ((fun [arity:1]~a:((a)[@res.namedArgLoc ]) -> a + 1)[@res.async ])
 let ex1 = ((3)[@res.await ]) + ((4)[@res.await ])
 let ex2 = ((3)[@res.await ]) ** ((4)[@res.await ])
 let ex3 = ((foo |.u (bar ~arg:((arg)[@res.namedArgLoc ])))[@res.await ])
-let ex4 = (((foo.bar).baz)[@res.await ])
+let ex4 = (((foo.bar).baz)[@res.await ])
+let attr1 = ((fun [arity:1]x -> x + 1)[@res.async ][@a ])
+let attr2 = ((fun (type a) -> fun (type b) -> fun (type c) ->
+ fun [arity:1]x -> 3)[@res.async ][@a ])
+let attr3 = ((fun (type a) -> ((fun (type b) -> fun (type c) ->
+ fun [arity:1]x -> 3)[@res.async ]))[@a ])
+let attr4 = ((fun (type a) -> ((fun (type b) -> fun (type c) ->
+ fun [arity:1]x -> 3)[@res.async ][@b ]))[@a ])
+let (attr5 : int) = ((fun (type a) -> fun (type b) -> fun (type c) ->
+ fun [arity:1](x : a) -> x)[@res.async ][@a ][@b ])

tests/syntax_tests/data/printer/expr/asyncAwait.res

@@ -122,3 +122,9 @@ type t2 = (. int, string) => bool
 let f = async (type a, ()) => {
  await Js.Promise.resolve(())
 }
+
+let attr1 = @a async x => x+1
+let attr2 = @a async (type a) => (type b c, x) => 3
+let attr3 = @a (type a) => async (type b c, x) => 3
+let attr4 = @a (type a) => @b async (type b c, x) => 3
+let attr5 : int => promise<int> = @a @b async (type a, type b c) => (x:a) => x

tests/syntax_tests/data/printer/expr/expected/asyncAwait.res.txt

@@ -144,3 +144,9 @@ type t2 = (int, string) => bool
 let f = async (type a, ()) => {
  await Js.Promise.resolve()
 }
+
+let attr1 = @a async x => x + 1
+let attr2 = @a async (type a b c, x) => 3
+let attr3 = @a (type a, type b c, x) => 3
+let attr4 = @a (type a, @b type b c, x) => 3
+let attr5: int => promise<int> = @a @b async (type a b c, x: a) => x