summaryrefslogtreecommitdiff
path: root/testdata
diff options
context:
space:
mode:
authorCsaba Hruska <csaba.hruska@gmail.com>2016-01-25 11:23:26 +0100
committerCsaba Hruska <csaba.hruska@gmail.com>2016-01-25 11:23:26 +0100
commit695cf052f6e0ebbe0ad49b863de8aed45e9cbdc2 (patch)
tree5e28d4928422eba75d5dcdd55676479c9b66d935 /testdata
parentbf36376e81efecf1377d3bbe7a6f0757e484a011 (diff)
reorder test notes
Diffstat (limited to 'testdata')
-rw-r--r--testdata/language-features/HINT123
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 (..)