Skip to content

Commit c9ee1b3

Browse files
committed
Add test for #182
1 parent e617fb5 commit c9ee1b3

File tree

1 file changed

+45
-0
lines changed

1 file changed

+45
-0
lines changed

test/tickets/T0182.hs

Lines changed: 45 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,45 @@
1+
-- SYNTAX TEST "source.haskell" "Prefix symbolic data constructors"
2+
3+
data Prop = None -- ^ @_@
4+
-- ^^^^ storage.type.haskell
5+
-- ^ keyword.operator.eq.haskell
6+
-- ^^^^ constant.other.haskell
7+
-- ^^^^^^^^ comment.line.documentation.haskell
8+
| T -- ^ True
9+
-- ^ keyword.operator.pipe.haskell
10+
-- ^ constant.other.haskell
11+
-- ^^^^^^^^^ comment.line.documentation.haskell
12+
| F -- ^ False
13+
-- ^ keyword.operator.pipe.haskell
14+
-- ^ constant.other.haskell
15+
-- ^^^^^^^^^^ comment.line.documentation.haskell
16+
| Atom String -- ^ prop
17+
-- ^ keyword.operator.pipe.haskell
18+
-- ^^^^ constant.other.haskell
19+
-- ^^^^^^ storage.type.haskell
20+
-- ^^^^^^^^^ comment.line.documentation.haskell
21+
| Not Prop -- ^ negate
22+
-- ^ keyword.operator.pipe.haskell
23+
-- ^^^ constant.other.haskell
24+
-- ^^^^ storage.type.haskell
25+
-- ^^^^^^^^^^^ comment.line.documentation.haskell
26+
| (:/\) Prop Prop -- ^ and
27+
-- ^ keyword.operator.pipe.haskell
28+
-- ^^^ constant.other.operator.prefix.haskell
29+
-- ^^^^ ^^^^ storage.type.haskell
30+
-- ^^^^^^^^ comment.line.documentation.haskell
31+
| (:\/) Prop Prop -- ^ or
32+
-- ^ keyword.operator.pipe.haskell
33+
-- ^^^ constant.other.operator.prefix.haskell
34+
-- ^^^^ ^^^^ storage.type.haskell
35+
-- ^^^^^^^ comment.line.documentation.haskell
36+
| (:->) Prop Prop -- ^ imply
37+
-- ^ keyword.operator.pipe.haskell
38+
-- ^^^ constant.other.operator.prefix.haskell
39+
-- ^^^^ ^^^^ storage.type.haskell
40+
-- ^^^^^^^^^^ comment.line.documentation.haskell
41+
| (:<->) Prop Prop -- ^ <->
42+
-- ^ keyword.operator.pipe.haskell
43+
-- ^^^^ constant.other.operator.prefix.haskell
44+
-- ^^^^ ^^^^ storage.type.haskell
45+
-- ^^^^^^^^ comment.line.documentation.haskell

0 commit comments

Comments
 (0)