HasCASL/test/WrongMixIds.hascasl

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
'
11
1.0
'''
'\o378'
'\o477'
'\d99'
'\256'
'\x'
'\'
'\"a'
'"\'

1b1
as
'bc'
_bc
a_b_
__
.
|
::=
|->
[
]
{
}
`
%
.0
.[
a[__]
a[__ ]
a[__{}__{]
a[,]
__ < [bla] __ < __
aa ==
a[]
""
:=
@
\
.!