diff options
Diffstat (limited to 'Test/test20/TypeSynonyms0.bpl.expect')
-rw-r--r-- | Test/test20/TypeSynonyms0.bpl.expect | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/Test/test20/TypeSynonyms0.bpl.expect b/Test/test20/TypeSynonyms0.bpl.expect new file mode 100644 index 00000000..42271d33 --- /dev/null +++ b/Test/test20/TypeSynonyms0.bpl.expect @@ -0,0 +1,7 @@ +TypeSynonyms0.bpl(13,5): Error: type synonym could not be resolved because of cycles: Cyclic0 (replacing body with "bool" to continue resolving) +TypeSynonyms0.bpl(14,5): Error: type synonym could not be resolved because of cycles: Cyclic1 (replacing body with "bool" to continue resolving) +TypeSynonyms0.bpl(16,5): Error: type synonym could not be resolved because of cycles: AlsoCyclic (replacing body with "bool" to continue resolving) +TypeSynonyms0.bpl(26,10): Error: type constructor received wrong number of arguments: Field +TypeSynonyms0.bpl(27,10): Error: type synonym received wrong number of arguments: Set +TypeSynonyms0.bpl(30,10): Error: type variable must occur in map arguments: a +6 name resolution errors detected in TypeSynonyms0.bpl |