diff options
Diffstat (limited to 'testdata/language-features/HINT')
-rw-r--r-- | testdata/language-features/HINT | 23 |
1 files changed, 19 insertions, 4 deletions
diff --git a/testdata/language-features/HINT b/testdata/language-features/HINT index ffcdd9ba..6df96760 100644 --- a/testdata/language-features/HINT +++ b/testdata/language-features/HINT | |||
@@ -30,7 +30,14 @@ language features: | |||
30 | done - if then else | 30 | done - if then else |
31 | done - lambda expression | 31 | done - lambda expression |
32 | done - case of | 32 | done - case of |
33 | type signature - global, local, forall, hidden parameters, type parameters, wildcard, context | 33 | type signature |
34 | done - global | ||
35 | done - local | ||
36 | done - type parameters | ||
37 | forall | ||
38 | hidden parameters | ||
39 | wildcard | ||
40 | context | ||
34 | patterns | 41 | patterns |
35 | guards - in expressions | 42 | guards - in expressions |
36 | done - def | 43 | done - def |
@@ -38,14 +45,22 @@ language features: | |||
38 | where | 45 | where |
39 | case of | 46 | case of |
40 | done - basic list - :[] [,,] | 47 | done - basic list - :[] [,,] |
41 | list comprehension | 48 | done - list comprehension |
42 | done - operators | 49 | done - operators |
43 | fixity | 50 | fixity |
44 | `infix` notation | 51 | done - `infix` notation |
45 | where - in value, in expressions | 52 | where - in value, in expressions |
53 | global def | ||
54 | let | ||
55 | nested where | ||
56 | patterns | ||
46 | 57 | ||
47 | done - definition order | 58 | done - definition order |
48 | recursion | 59 | simple recursion |
60 | done - def | ||
61 | let in | ||
62 | where | ||
63 | case of | ||
49 | mutual recursion - vary def order, vary on def placing (insert other code between mutual rec functions" | 64 | mutual recursion - vary def order, vary on def placing (insert other code between mutual rec functions" |
50 | 65 | ||
51 | data GADT and ADT | 66 | data GADT and ADT |