diff options
author | Csaba Hruska <csaba.hruska@gmail.com> | 2016-01-25 11:23:26 +0100 |
---|---|---|
committer | Csaba Hruska <csaba.hruska@gmail.com> | 2016-01-25 11:23:26 +0100 |
commit | 695cf052f6e0ebbe0ad49b863de8aed45e9cbdc2 (patch) | |
tree | 5e28d4928422eba75d5dcdd55676479c9b66d935 /testdata | |
parent | bf36376e81efecf1377d3bbe7a6f0757e484a011 (diff) |
reorder test notes
Diffstat (limited to 'testdata')
-rw-r--r-- | testdata/language-features/HINT | 123 |
1 files changed, 67 insertions, 56 deletions
diff --git a/testdata/language-features/HINT b/testdata/language-features/HINT index 5aa275eb..470696a6 100644 --- a/testdata/language-features/HINT +++ b/testdata/language-features/HINT | |||
@@ -11,10 +11,63 @@ language features: | |||
11 | done - comment | 11 | done - comment |
12 | done - language pragma | 12 | done - language pragma |
13 | syntax: | 13 | syntax: |
14 | reserved keywords | 14 | definition: |
15 | done - literals | 15 | done - global value defs |
16 | done - tuples | 16 | done - definition order |
17 | done - global value defs | 17 | expression: |
18 | done - literals | ||
19 | done - tuples | ||
20 | done - let in | ||
21 | done - if then else | ||
22 | done - lambda expression | ||
23 | done - case of | ||
24 | done - basic list - :[] [,,] | ||
25 | done - list comprehension | ||
26 | done - operators | ||
27 | done - `infix` notation | ||
28 | |||
29 | guards - in expressions | ||
30 | done - def | ||
31 | done - let in | ||
32 | done - where | ||
33 | done - case of | ||
34 | |||
35 | where - in value, in expressions | ||
36 | done - global def | ||
37 | done - let in | ||
38 | done - case of | ||
39 | |||
40 | simple recursion | ||
41 | done - def | ||
42 | done - let in | ||
43 | done - where | ||
44 | case of | ||
45 | |||
46 | type signature | ||
47 | done - global | ||
48 | done - local | ||
49 | done - type parameters | ||
50 | forall | ||
51 | hidden parameters | ||
52 | wildcard | ||
53 | context | ||
54 | @ type parameters | ||
55 | |||
56 | module name where | ||
57 | done - with and without export list | ||
58 | done - including exporing itself and other imported modules | ||
59 | done - submodule def (e.g. module Foo.Bar) | ||
60 | export data with/without constructors () or (..) | ||
61 | |||
62 | import | ||
63 | done - hiding list | ||
64 | done - import list | ||
65 | done - submodule import (e.g. import Foo.Bar) | ||
66 | qualified import | ||
67 | qualified import as | ||
68 | import as | ||
69 | import data with/without constructors () or (..) | ||
70 | |||
18 | valid indentation | 71 | valid indentation |
19 | done - global defs | 72 | done - global defs |
20 | multiline def | 73 | multiline def |
@@ -26,18 +79,6 @@ language features: | |||
26 | if then else | 79 | if then else |
27 | list comprehension | 80 | list comprehension |
28 | 81 | ||
29 | done - let in | ||
30 | done - if then else | ||
31 | done - lambda expression | ||
32 | done - case of | ||
33 | type signature | ||
34 | done - global | ||
35 | done - local | ||
36 | done - type parameters | ||
37 | forall | ||
38 | hidden parameters | ||
39 | wildcard | ||
40 | context | ||
41 | patterns | 82 | patterns |
42 | def | 83 | def |
43 | case of | 84 | case of |
@@ -45,53 +86,23 @@ language features: | |||
45 | variables | 86 | variables |
46 | nested | 87 | nested |
47 | data constructors | 88 | data constructors |
48 | guards - in expressions | 89 | wildcard |
49 | done - def | 90 | @ patterns |
50 | done - let in | 91 | |
51 | done - where | ||
52 | done - case of | ||
53 | done - basic list - :[] [,,] | ||
54 | done - list comprehension | ||
55 | done - operators | ||
56 | fixity - operators and `infix` | ||
57 | done - `infix` notation | ||
58 | where - in value, in expressions | ||
59 | done - global def | ||
60 | done - let in | ||
61 | done - case of | ||
62 | nested expressions: | 92 | nested expressions: |
63 | let in | 93 | let in |
64 | where | 94 | where |
65 | def | 95 | def |
66 | case of | 96 | case of |
67 | done - definition order | ||
68 | simple recursion | ||
69 | done - def | ||
70 | done - let in | ||
71 | done - where | ||
72 | case of | ||
73 | mutual recursion - vary def order, vary on def placing (insert other code between mutual rec functions" | ||
74 | 97 | ||
75 | data GADT and ADT | 98 | type synonyms |
76 | parenthesis - nested | ||
77 | widcards - in pattern, in type | ||
78 | @ patterns | ||
79 | builtins | ||
80 | records | 99 | records |
81 | swizzling | 100 | swizzling |
82 | hidden parameters | 101 | reserved keywords |
83 | type synonyms | 102 | fixity - operators and `infix` |
84 | @ type parameters | 103 | data GADT and ADT |
104 | mutual recursion - vary def order, vary on def placing (insert other code between mutual rec functions" | ||
85 | 105 | ||
86 | module name where | 106 | parenthesis - nested |
87 | done - with and without export list | 107 | builtins |
88 | done - including exporing itself and other imported modules | ||
89 | export data with/without constructors () or (..) | ||
90 | 108 | ||
91 | import | ||
92 | done - hiding list | ||
93 | done - import list | ||
94 | qualified import | ||
95 | qualified import as | ||
96 | import as | ||
97 | import data with/without constructors () or (..) | ||