HCoop
/
hcoop
/
debian
/
mlton.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
blame
|
history
|
raw
|
HEAD
Import Upstream version 20180207
[hcoop/debian/mlton.git]
/
regression
/
fail
/
infix.6.sml
1
infix
1
<! <
@
2
infix
2
<!! <
@@
3
infixr
1
!>
@
>
4
infixr
2
!!>
@@
>
5
6
infix
0
&
7
infix
9
&&
8
9
datatype
('
a
, '
b
)
t1
= &
of
'
a
* '
b
10
datatype
('
a
, '
b
)
t2
= &&
of
'
a
* '
b
11
12
13
(*
defines
<! *)
14
local
15
fun
x
<!
y
= ()
16
in
17
val
_
=
op
<!
18
end
19
20
(*
error
*)
21
local
22
fun
x
<!
y z
= ()
23
in
24
end
25
26
(*
defines
<! *)
27
local
28
fun
(
x
<!
y
) = ()
29
in
30
val
_
=
op
<!
31
end
32
33
(*
defines
<! *)
34
local
35
fun
(
x
<!
y
)
z
= ()
36
in
37
val
_
=
op
<!
38
end
39
40
(*
error
*)
41
local
42
fun
<! <
@ y
= ()
43
in
44
end
45
46
(*
error
*)
47
local
48
fun
<! <
@ y z
= ()
49
in
50
end
51
52
(*
error
*)
53
local
54
fun
<! <
@ y
= ()
55
in
56
end
57
58
(*
error
*)
59
local
60
fun
a
<! <
@
= ()
61
in
62
end
63
64
(*
error
*)
65
local
66
fun
(
a
<! <
@
) = ()
67
in
68
end
69
70
(*
defines
<
@
*)
71
local
72
fun op
<! <
@ y
= ()
73
in
74
val
_
=
op
<
@
75
end
76
77
(*
error
*)
78
local
79
fun op
<! <
@ y z
= ()
80
in
81
end
82
83
(*
defines
<
@
*)
84
local
85
fun
(
op
<! <
@ y
)
z
= ()
86
in
87
val
_
=
op
<
@
88
end
89
90
(*
error
*)
91
local
92
fun
<!
op
<
@ y
= ()
93
in
94
end
95
96
(*
error
*)
97
local
98
fun
(<!
op
<
@ y
) = ()
99
in
100
end
101
102
(*
defines
<
@
*)
103
local
104
fun op
<!
op
<
@ y
= ()
105
in
106
val
_
=
op
<!
107
end
108
109
(*
defines
<
@
*)
110
local
111
fun op
<!
op
<
@ y z
= ()
112
in
113
val
_
=
op
<!
114
end