summaryrefslogtreecommitdiff
path: root/Test/test20/TypeSynonyms0.bpl.expect
blob: 42271d3392337447c2f9dbbf8ec3f2ebb87a6b42 (plain)
1
2
3
4
5
6
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