source: tests/.expect/completeTypeError.txt @ d97c3a4

aaron-thesisarm-ehcleanup-dtorsdeferred_resnjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprno_listpersistent-indexer
Last change on this file since d97c3a4 was d97c3a4, checked in by Aaron Moss <a3moss@…>, 3 years ago

Fix new cost model by boosting precedence of safe costs

  • Property mode set to 100644
File size: 2.5 KB
Line 
1completeTypeError.cfa:33:1 error: No reasonable alternatives for expression Applying untyped:
2  Name: *?
3...to:
4  Name: v
5
6completeTypeError.cfa:34:1 error: No reasonable alternatives for expression Applying untyped:
7  Name: *?
8...to:
9  Name: y
10
11completeTypeError.cfa:35:1 error: No reasonable alternatives for expression Applying untyped:
12  Name: foo
13...to:
14  Name: v
15
16completeTypeError.cfa:36:1 error: No reasonable alternatives for expression Applying untyped:
17  Name: baz
18...to:
19  Name: v
20
21completeTypeError.cfa:37:1 error: No reasonable alternatives for expression Applying untyped:
22  Name: quux
23...to:
24  Name: v
25
26completeTypeError.cfa:58:1 error: No reasonable alternatives for expression Applying untyped:
27  Name: baz
28...to:
29  Name: y
30
31completeTypeError.cfa:59:1 error: No reasonable alternatives for expression Applying untyped:
32  Name: quux
33...to:
34  Name: y
35
36completeTypeError.cfa:60:1 error: No reasonable alternatives for expression Applying untyped:
37  Name: *?
38...to:
39  Name: y
40
41completeTypeError.cfa:72:1 error: No resolvable alternatives for expression Applying untyped:
42  Name: baz
43...to:
44  Name: z
45
46Alternatives with failing assertions are:
47Cost ( 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 TracBrowser for help on using the repository browser.