summaryrefslogtreecommitdiff
path: root/testdata/language-features/HINT
diff options
context:
space:
mode:
Diffstat (limited to 'testdata/language-features/HINT')
-rw-r--r--testdata/language-features/HINT23
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