- Timestamp:
- Jan 11, 2019, 2:16:53 PM (6 years ago)
- Branches:
- ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, deferred_resn, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, no_list, persistent-indexer, pthread-emulation, qualifiedEnum
- Children:
- 52ffa30
- Parents:
- e99e43f
- Location:
- tests/.expect
- Files:
-
- 2 edited
Legend:
- Unmodified
- Added
- Removed
-
tests/.expect/completeTypeError.txt
re99e43f rd97c3a4 45 45 46 46 Alternatives with failing assertions are: 47 Cost ( 0, 1, 1, -5, 0, 0 ): Application of47 Cost ( 0, 1, 0, 1, -5, 0 ): Application of 48 48 Variable Expression: baz: forall 49 49 T: sized object type … … 53 53 reference to instance of type T (not function type) 54 54 instance of type T (not function type) 55 ... returning 55 ... returning 56 56 _retval__operator_assign: instance of type T (not function type) 57 ... with attributes: 57 ... with attributes: 58 58 Attribute with name: unused 59 59 … … 62 62 ... with parameters 63 63 reference to instance of type T (not function type) 64 ... returning nothing 64 ... returning nothing 65 65 66 66 ?{}: pointer to function … … 68 68 reference to instance of type T (not function type) 69 69 instance of type T (not function type) 70 ... returning nothing 70 ... returning nothing 71 71 72 72 ^?{}: pointer to function 73 73 ... with parameters 74 74 reference to instance of type T (not function type) 75 ... returning nothing 75 ... returning nothing 76 76 77 77 … … 79 79 ... with parameters 80 80 pointer to instance of type T (not function type) 81 ... returning nothing 81 ... returning nothing 82 82 83 83 ... to arguments … … 87 87 void 88 88 ) 89 Environment: 89 Environment:( _73_0_T ) -> instance of type T (not function type) (no widening) 90 90 91 91 -
tests/.expect/nested-types-ERR2.txt
re99e43f rd97c3a4 2 2 nested-types.cfa:74:1 error: Qualified type requires an aggregate on the left, but has: signed int 3 3 nested-types.cfa:75:1 error: Undefined type in qualified type: Qualified Type: 4 instance of struct S with body 1 4 instance of struct S with body 1 5 5 instance of type Z (not function type) 6 6
Note: See TracChangeset
for help on using the changeset viewer.