Corrected some of the other tests that fail the new abbreviation checking
This commit is contained in:
parent
cff10e2f28
commit
de9469fad3
|
@ -200,30 +200,30 @@ PROC main()
|
||||||
foo(c!)
|
foo(c!)
|
||||||
|
|
||||||
%PASS Both body sep abbrev, with no direction
|
%PASS Both body sep abbrev, with no direction
|
||||||
CHAN INT d IS c:
|
CHAN INT d IS c!:
|
||||||
SEQ
|
SEQ
|
||||||
d ! 3
|
d ! 3
|
||||||
CHAN INT e IS c:
|
CHAN INT e IS c?:
|
||||||
INT x:
|
INT x:
|
||||||
e ? x
|
e ? x
|
||||||
%M
|
%M
|
||||||
foo(c)
|
foo(c)
|
||||||
|
|
||||||
%FAIL Both body sep abbrev, with input direction
|
%FAIL Both body sep abbrev, with input direction
|
||||||
CHAN INT d IS c:
|
CHAN INT d IS c!:
|
||||||
SEQ
|
SEQ
|
||||||
d ! 3
|
d ! 3
|
||||||
CHAN INT e IS c:
|
CHAN INT e IS c?:
|
||||||
INT x:
|
INT x:
|
||||||
e ? x
|
e ? x
|
||||||
%M
|
%M
|
||||||
foo(c?)
|
foo(c?)
|
||||||
|
|
||||||
%FAIL Both body sep abbrev, with output direction
|
%FAIL Both body sep abbrev, with output direction
|
||||||
CHAN INT d IS c:
|
CHAN INT d IS c!:
|
||||||
SEQ
|
SEQ
|
||||||
d ! 3
|
d ! 3
|
||||||
CHAN INT e IS c:
|
CHAN INT e IS c?:
|
||||||
INT x:
|
INT x:
|
||||||
e ? x
|
e ? x
|
||||||
%M
|
%M
|
||||||
|
|
|
@ -13,6 +13,7 @@ PROC main ()
|
||||||
%PASS Normal kinds of abbreviations
|
%PASS Normal kinds of abbreviations
|
||||||
-- Actually, these probably shouldn't be allowed, since they're
|
-- Actually, these probably shouldn't be allowed, since they're
|
||||||
-- abbreviating a whole channel.
|
-- abbreviating a whole channel.
|
||||||
|
#PRAGMA PERMITALIASES c
|
||||||
CHAN INT abbrev IS c:
|
CHAN INT abbrev IS c:
|
||||||
inferred.abbrev IS c:
|
inferred.abbrev IS c:
|
||||||
|
|
||||||
|
|
|
@ -5,6 +5,7 @@ PROC main ()
|
||||||
[10]CHAN INT cs:
|
[10]CHAN INT cs:
|
||||||
INT n:
|
INT n:
|
||||||
|
|
||||||
|
#PRAGMA PERMITALIASES c
|
||||||
CHAN INT out! IS c!:
|
CHAN INT out! IS c!:
|
||||||
CHAN INT in? IS c?:
|
CHAN INT in? IS c?:
|
||||||
|
|
||||||
|
|
|
@ -12,6 +12,7 @@ PROC main ()
|
||||||
:
|
:
|
||||||
|
|
||||||
%PASS Normal kinds of abbreviations
|
%PASS Normal kinds of abbreviations
|
||||||
|
#PRAGMA PERMITALIASES var, const
|
||||||
INT abbrev IS var:
|
INT abbrev IS var:
|
||||||
inferred.abbrev IS var:
|
inferred.abbrev IS var:
|
||||||
VAL INT val IS var:
|
VAL INT val IS var:
|
||||||
|
|
Loading…
Reference in New Issue
Block a user