ADT
ast-experimental
pthread-emulation
qualifiedEnum
|
Last change
on this file since c4072d8e was 298fe57, checked in by Andrew Beach <ajbeach@…>, 3 years ago |
|
Translated 3/4 of validate_B. Link Reference To Types has been removed and will be translated after we know how much support we need for forall function pointers.
|
-
Property mode
set to
100644
|
|
File size:
358 bytes
|
| Line | |
|---|
| 1 | nested-types.cfa:100:25: warning: Compiled
|
|---|
| 2 | nested-types.cfa:86:1 error: Use of undefined global type Z
|
|---|
| 3 | nested-types.cfa:87:1 error: Qualified type requires an aggregate on the left, but has: signed int
|
|---|
| 4 | nested-types.cfa:88:1 error: Undefined type in qualified type: Qualified Type:
|
|---|
| 5 | instance of struct S with body 1
|
|---|
| 6 | instance of type Z (not function type)
|
|---|
| 7 |
|
|---|
Note:
See
TracBrowser
for help on using the repository browser.
