- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
tests/.expect/completeTypeError.txt
r07ec1a2 rd97c3a4 1 completeTypeError.cfa:33:1 error: No reasonable alternatives for expression Applying untyped: 1 completeTypeError.cfa:33:1 error: No reasonable alternatives for expression Applying untyped: 2 2 Name: *? 3 ...to: 3 ...to: 4 4 Name: v 5 5 6 completeTypeError.cfa:34:1 error: No reasonable alternatives for expression Applying untyped: 6 completeTypeError.cfa:34:1 error: No reasonable alternatives for expression Applying untyped: 7 7 Name: *? 8 ...to: 8 ...to: 9 9 Name: y 10 10 11 completeTypeError.cfa:35:1 error: No reasonable alternatives for expression Applying untyped: 11 completeTypeError.cfa:35:1 error: No reasonable alternatives for expression Applying untyped: 12 12 Name: foo 13 ...to: 13 ...to: 14 14 Name: v 15 15 16 completeTypeError.cfa:36:1 error: No reasonable alternatives for expression Applying untyped: 16 completeTypeError.cfa:36:1 error: No reasonable alternatives for expression Applying untyped: 17 17 Name: baz 18 ...to: 18 ...to: 19 19 Name: v 20 20 21 completeTypeError.cfa:37:1 error: No reasonable alternatives for expression Applying untyped: 21 completeTypeError.cfa:37:1 error: No reasonable alternatives for expression Applying untyped: 22 22 Name: quux 23 ...to: 23 ...to: 24 24 Name: v 25 25 26 completeTypeError.cfa:58:1 error: No reasonable alternatives for expression Applying untyped: 26 completeTypeError.cfa:58:1 error: No reasonable alternatives for expression Applying untyped: 27 27 Name: baz 28 ...to: 28 ...to: 29 29 Name: y 30 30 31 completeTypeError.cfa:59:1 error: No reasonable alternatives for expression Applying untyped: 31 completeTypeError.cfa:59:1 error: No reasonable alternatives for expression Applying untyped: 32 32 Name: quux 33 ...to: 33 ...to: 34 34 Name: y 35 35 36 completeTypeError.cfa:60:1 error: No reasonable alternatives for expression Applying untyped: 36 completeTypeError.cfa:60:1 error: No reasonable alternatives for expression Applying untyped: 37 37 Name: *? 38 ...to: 38 ...to: 39 39 Name: y 40 40 41 completeTypeError.cfa:72:1 error: No re asonable alternatives for expression Applying untyped:41 completeTypeError.cfa:72:1 error: No resolvable alternatives for expression Applying untyped: 42 42 Name: baz 43 ...to: 43 ...to: 44 44 Name: z 45 45 46 Alternatives with failing assertions are: 47 Cost ( 0, 1, 0, 1, -5, 0 ): Application of 48 Variable Expression: baz: forall 49 T: sized object type 50 ... with assertions 51 ?=?: pointer to function 52 ... with parameters 53 reference to instance of type T (not function type) 54 instance of type T (not function type) 55 ... returning 56 _retval__operator_assign: instance of type T (not function type) 57 ... with attributes: 58 Attribute with name: unused 59 60 61 ?{}: pointer to function 62 ... with parameters 63 reference to instance of type T (not function type) 64 ... returning nothing 65 66 ?{}: pointer to function 67 ... with parameters 68 reference to instance of type T (not function type) 69 instance of type T (not function type) 70 ... returning nothing 71 72 ^?{}: pointer to function 73 ... with parameters 74 reference to instance of type T (not function type) 75 ... returning nothing 76 77 78 function 79 ... with parameters 80 pointer to instance of type T (not function type) 81 ... returning nothing 82 83 ... to arguments 84 Variable Expression: z: pointer to instance of type T (not function type) 85 86 (types: 87 void 88 ) 89 Environment:( _73_0_T ) -> instance of type T (not function type) (no widening) 90 91 92
Note: See TracChangeset
for help on using the changeset viewer.