Index: tests/errors/.expect/completeType.arm64.txt =================================================================== --- tests/errors/.expect/completeType.arm64.txt (revision 1c893aef63e3cbbf67a354696e988219eb19aff6) +++ tests/errors/.expect/completeType.arm64.txt (revision 1c893aef63e3cbbf67a354696e988219eb19aff6) @@ -0,0 +1,259 @@ +errors/completeType.cfa:34:1 error: Cannot choose between 2 alternatives for expression +Generated Cast of: + Applying untyped: + Name: *? + ...to: + Name: x + +... to: nothing +... with resolved type: + void Alternatives are: +Cost ( 0, 1, 2, 0, 1, -1, 0 ): Generated Cast of: + Application of + Variable Expression: *?: forall + instance of type DT (not function type) + function + ... with parameters + pointer to instance of type DT (not function type) + ... returning + reference to instance of type DT (not function type) + + ... with resolved type: + pointer to forall + instance of type [unbound] (not function type) + function + ... with parameters + pointer to instance of type [unbound] (not function type) + ... returning + reference to instance of type [unbound] (not function type) + + ... to arguments + Variable Expression: x: pointer to instance of struct A without body + ... with resolved type: + pointer to instance of struct A without body + + ... with resolved type: + reference to instance of struct A without body + ... to: nothing + ... with resolved type: + void + (types: + void + ) + Environment:([unbound]DT) -> instance of struct A without body (no widening) + + +Cost ( 0, 1, 2, 0, 1, -1, 0 ): Generated Cast of: + Application of + Variable Expression: *?: forall + instance of type DT (not function type) + function + ... with parameters + pointer to instance of type DT (not function type) + ... returning + reference to instance of type DT (not function type) + + ... with resolved type: + pointer to forall + instance of type [unbound] (not function type) + function + ... with parameters + pointer to instance of type [unbound] (not function type) + ... returning + reference to instance of type [unbound] (not function type) + + ... to arguments + Variable Expression: x: pointer to instance of struct B with body + ... with resolved type: + pointer to instance of struct B with body + + ... with resolved type: + reference to instance of struct B with body + ... to: nothing + ... with resolved type: + void + (types: + void + ) + Environment:([unbound]DT) -> instance of struct B with body (no widening) + + + +errors/completeType.cfa:35:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: foo +...to: + Name: v + +errors/completeType.cfa:36:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: baz +...to: + Name: v + +errors/completeType.cfa:37:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: quux +...to: + Name: v + +errors/completeType.cfa:59:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: baz +...to: + Name: y + +errors/completeType.cfa:60:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: quux +...to: + Name: y + +errors/completeType.cfa:72:1 error: No alternatives with satisfiable assertions for Applying untyped: + Name: baz +...to: + Name: z + + Unsatisfiable alternative: +Cost ( 0, 1, 0, 0, 1, -5, 0 ): Application of + Variable Expression: baz: forall + instance of type T (not function type) + with assertions + Variable Expression: ?=?: pointer to function + ... with parameters + reference to instance of type T (not function type) + instance of type T (not function type) + ... returning + instance of type T (not function type) + + ... with resolved type: + pointer to function + ... with parameters + reference to instance of type T (not function type) + instance of type T (not function type) + ... returning + instance of type T (not function type) + + Variable Expression: ?{}: pointer to function + ... with parameters + reference to instance of type T (not function type) + ... returning nothing + + ... with resolved type: + pointer to function + ... with parameters + reference to instance of type T (not function type) + ... returning nothing + + Variable Expression: ?{}: pointer to function + ... with parameters + reference to instance of type T (not function type) + instance of type T (not function type) + ... returning nothing + + ... with resolved type: + pointer to function + ... with parameters + reference to instance of type T (not function type) + instance of type T (not function type) + ... returning nothing + + Variable Expression: ^?{}: pointer to function + ... with parameters + reference to instance of type T (not function type) + ... returning nothing + + ... with resolved type: + pointer to function + ... with parameters + reference to instance of type T (not function type) + ... returning nothing + + function + ... with parameters + pointer to instance of type T (not function type) + ... returning nothing + + ... with resolved type: + pointer to forall + instance of type [unbound] (not function type) + with assertions + Variable Expression: ?=?: pointer to function + ... with parameters + reference to instance of type T (not function type) + instance of type T (not function type) + ... returning + instance of type T (not function type) + + ... with resolved type: + pointer to function + ... with parameters + reference to instance of type [unbound] (not function type) + instance of type [unbound] (not function type) + ... returning + instance of type [unbound] (not function type) + + Variable Expression: ?{}: pointer to function + ... with parameters + reference to instance of type T (not function type) + ... returning nothing + + ... with resolved type: + pointer to function + ... with parameters + reference to instance of type [unbound] (not function type) + ... returning nothing + + Variable Expression: ?{}: pointer to function + ... with parameters + reference to instance of type T (not function type) + instance of type T (not function type) + ... returning nothing + + ... with resolved type: + pointer to function + ... with parameters + reference to instance of type [unbound] (not function type) + instance of type [unbound] (not function type) + ... returning nothing + + Variable Expression: ^?{}: pointer to function + ... with parameters + reference to instance of type T (not function type) + ... returning nothing + + ... with resolved type: + pointer to function + ... with parameters + reference to instance of type [unbound] (not function type) + ... returning nothing + + function + ... with parameters + pointer to instance of type [unbound] (not function type) + ... returning nothing + + ... to arguments + Variable Expression: z: pointer to instance of type T (not function type) + ... with resolved type: + pointer to instance of type T (not function type) + with 1 pending inference slots + + ... with resolved type: + void + (types: + void + ) + Environment:([unbound]T) -> instance of type T (not function type) (no widening) + + Could not satisfy assertion: +Variable Expression: ?=?: pointer to function + ... with parameters + reference to instance of type T (not function type) + instance of type T (not function type) + ... returning + instance of type T (not function type) + + ... with resolved type: + pointer to function + ... with parameters + reference to instance of type [unbound] (not function type) + instance of type [unbound] (not function type) + ... returning + instance of type [unbound] (not function type) + Index: tests/errors/.expect/completeType.nast.arm64.txt =================================================================== --- tests/errors/.expect/completeType.nast.arm64.txt (revision 4ec9513d69051bd7c1fc15bed54720534c629acf) +++ (revision ) @@ -1,259 +1,0 @@ -errors/completeType.cfa:34:1 error: Cannot choose between 2 alternatives for expression -Generated Cast of: - Applying untyped: - Name: *? - ...to: - Name: x - -... to: nothing -... with resolved type: - void Alternatives are: -Cost ( 0, 1, 2, 0, 1, -1, 0 ): Generated Cast of: - Application of - Variable Expression: *?: forall - instance of type DT (not function type) - function - ... with parameters - pointer to instance of type DT (not function type) - ... returning - reference to instance of type DT (not function type) - - ... with resolved type: - pointer to forall - instance of type [unbound] (not function type) - function - ... with parameters - pointer to instance of type [unbound] (not function type) - ... returning - reference to instance of type [unbound] (not function type) - - ... to arguments - Variable Expression: x: pointer to instance of struct A without body - ... with resolved type: - pointer to instance of struct A without body - - ... with resolved type: - reference to instance of struct A without body - ... to: nothing - ... with resolved type: - void - (types: - void - ) - Environment:([unbound]DT) -> instance of struct A without body (no widening) - - -Cost ( 0, 1, 2, 0, 1, -1, 0 ): Generated Cast of: - Application of - Variable Expression: *?: forall - instance of type DT (not function type) - function - ... with parameters - pointer to instance of type DT (not function type) - ... returning - reference to instance of type DT (not function type) - - ... with resolved type: - pointer to forall - instance of type [unbound] (not function type) - function - ... with parameters - pointer to instance of type [unbound] (not function type) - ... returning - reference to instance of type [unbound] (not function type) - - ... to arguments - Variable Expression: x: pointer to instance of struct B with body - ... with resolved type: - pointer to instance of struct B with body - - ... with resolved type: - reference to instance of struct B with body - ... to: nothing - ... with resolved type: - void - (types: - void - ) - Environment:([unbound]DT) -> instance of struct B with body (no widening) - - - -errors/completeType.cfa:35:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: foo -...to: - Name: v - -errors/completeType.cfa:36:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: baz -...to: - Name: v - -errors/completeType.cfa:37:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: quux -...to: - Name: v - -errors/completeType.cfa:59:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: baz -...to: - Name: y - -errors/completeType.cfa:60:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: quux -...to: - Name: y - -errors/completeType.cfa:72:1 error: No alternatives with satisfiable assertions for Applying untyped: - Name: baz -...to: - Name: z - - Unsatisfiable alternative: -Cost ( 0, 1, 0, 0, 1, -5, 0 ): Application of - Variable Expression: baz: forall - instance of type T (not function type) - with assertions - Variable Expression: ?=?: pointer to function - ... with parameters - reference to instance of type T (not function type) - instance of type T (not function type) - ... returning - instance of type T (not function type) - - ... with resolved type: - pointer to function - ... with parameters - reference to instance of type T (not function type) - instance of type T (not function type) - ... returning - instance of type T (not function type) - - Variable Expression: ?{}: pointer to function - ... with parameters - reference to instance of type T (not function type) - ... returning nothing - - ... with resolved type: - pointer to function - ... with parameters - reference to instance of type T (not function type) - ... returning nothing - - Variable Expression: ?{}: pointer to function - ... with parameters - reference to instance of type T (not function type) - instance of type T (not function type) - ... returning nothing - - ... with resolved type: - pointer to function - ... with parameters - reference to instance of type T (not function type) - instance of type T (not function type) - ... returning nothing - - Variable Expression: ^?{}: pointer to function - ... with parameters - reference to instance of type T (not function type) - ... returning nothing - - ... with resolved type: - pointer to function - ... with parameters - reference to instance of type T (not function type) - ... returning nothing - - function - ... with parameters - pointer to instance of type T (not function type) - ... returning nothing - - ... with resolved type: - pointer to forall - instance of type [unbound] (not function type) - with assertions - Variable Expression: ?=?: pointer to function - ... with parameters - reference to instance of type T (not function type) - instance of type T (not function type) - ... returning - instance of type T (not function type) - - ... with resolved type: - pointer to function - ... with parameters - reference to instance of type [unbound] (not function type) - instance of type [unbound] (not function type) - ... returning - instance of type [unbound] (not function type) - - Variable Expression: ?{}: pointer to function - ... with parameters - reference to instance of type T (not function type) - ... returning nothing - - ... with resolved type: - pointer to function - ... with parameters - reference to instance of type [unbound] (not function type) - ... returning nothing - - Variable Expression: ?{}: pointer to function - ... with parameters - reference to instance of type T (not function type) - instance of type T (not function type) - ... returning nothing - - ... with resolved type: - pointer to function - ... with parameters - reference to instance of type [unbound] (not function type) - instance of type [unbound] (not function type) - ... returning nothing - - Variable Expression: ^?{}: pointer to function - ... with parameters - reference to instance of type T (not function type) - ... returning nothing - - ... with resolved type: - pointer to function - ... with parameters - reference to instance of type [unbound] (not function type) - ... returning nothing - - function - ... with parameters - pointer to instance of type [unbound] (not function type) - ... returning nothing - - ... to arguments - Variable Expression: z: pointer to instance of type T (not function type) - ... with resolved type: - pointer to instance of type T (not function type) - with 1 pending inference slots - - ... with resolved type: - void - (types: - void - ) - Environment:([unbound]T) -> instance of type T (not function type) (no widening) - - Could not satisfy assertion: -Variable Expression: ?=?: pointer to function - ... with parameters - reference to instance of type T (not function type) - instance of type T (not function type) - ... returning - instance of type T (not function type) - - ... with resolved type: - pointer to function - ... with parameters - reference to instance of type [unbound] (not function type) - instance of type [unbound] (not function type) - ... returning - instance of type [unbound] (not function type) - Index: tests/errors/.expect/completeType.nast.x64.txt =================================================================== --- tests/errors/.expect/completeType.nast.x64.txt (revision 4ec9513d69051bd7c1fc15bed54720534c629acf) +++ (revision ) @@ -1,259 +1,0 @@ -errors/completeType.cfa:34:1 error: Cannot choose between 2 alternatives for expression -Generated Cast of: - Applying untyped: - Name: *? - ...to: - Name: x - -... to: nothing -... with resolved type: - void Alternatives are: -Cost ( 0, 1, 2, 0, 1, -1, 0 ): Generated Cast of: - Application of - Variable Expression: *?: forall - instance of type DT (not function type) - function - ... with parameters - pointer to instance of type DT (not function type) - ... returning - reference to instance of type DT (not function type) - - ... with resolved type: - pointer to forall - instance of type [unbound] (not function type) - function - ... with parameters - pointer to instance of type [unbound] (not function type) - ... returning - reference to instance of type [unbound] (not function type) - - ... to arguments - Variable Expression: x: pointer to instance of struct A without body - ... with resolved type: - pointer to instance of struct A without body - - ... with resolved type: - reference to instance of struct A without body - ... to: nothing - ... with resolved type: - void - (types: - void - ) - Environment:([unbound]DT) -> instance of struct A without body (no widening) - - -Cost ( 0, 1, 2, 0, 1, -1, 0 ): Generated Cast of: - Application of - Variable Expression: *?: forall - instance of type DT (not function type) - function - ... with parameters - pointer to instance of type DT (not function type) - ... returning - reference to instance of type DT (not function type) - - ... with resolved type: - pointer to forall - instance of type [unbound] (not function type) - function - ... with parameters - pointer to instance of type [unbound] (not function type) - ... returning - reference to instance of type [unbound] (not function type) - - ... to arguments - Variable Expression: x: pointer to instance of struct B with body - ... with resolved type: - pointer to instance of struct B with body - - ... with resolved type: - reference to instance of struct B with body - ... to: nothing - ... with resolved type: - void - (types: - void - ) - Environment:([unbound]DT) -> instance of struct B with body (no widening) - - - -errors/completeType.cfa:35:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: foo -...to: - Name: v - -errors/completeType.cfa:36:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: baz -...to: - Name: v - -errors/completeType.cfa:37:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: quux -...to: - Name: v - -errors/completeType.cfa:59:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: baz -...to: - Name: y - -errors/completeType.cfa:60:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: quux -...to: - Name: y - -errors/completeType.cfa:72:1 error: No alternatives with satisfiable assertions for Applying untyped: - Name: baz -...to: - Name: z - - Unsatisfiable alternative: -Cost ( 0, 1, 0, 0, 1, -5, 0 ): Application of - Variable Expression: baz: forall - instance of type T (not function type) - with assertions - Variable Expression: ?=?: pointer to function - ... with parameters - reference to instance of type T (not function type) - instance of type T (not function type) - ... returning - instance of type T (not function type) - - ... with resolved type: - pointer to function - ... with parameters - reference to instance of type T (not function type) - instance of type T (not function type) - ... returning - instance of type T (not function type) - - Variable Expression: ?{}: pointer to function - ... with parameters - reference to instance of type T (not function type) - ... returning nothing - - ... with resolved type: - pointer to function - ... with parameters - reference to instance of type T (not function type) - ... returning nothing - - Variable Expression: ?{}: pointer to function - ... with parameters - reference to instance of type T (not function type) - instance of type T (not function type) - ... returning nothing - - ... with resolved type: - pointer to function - ... with parameters - reference to instance of type T (not function type) - instance of type T (not function type) - ... returning nothing - - Variable Expression: ^?{}: pointer to function - ... with parameters - reference to instance of type T (not function type) - ... returning nothing - - ... with resolved type: - pointer to function - ... with parameters - reference to instance of type T (not function type) - ... returning nothing - - function - ... with parameters - pointer to instance of type T (not function type) - ... returning nothing - - ... with resolved type: - pointer to forall - instance of type [unbound] (not function type) - with assertions - Variable Expression: ?=?: pointer to function - ... with parameters - reference to instance of type T (not function type) - instance of type T (not function type) - ... returning - instance of type T (not function type) - - ... with resolved type: - pointer to function - ... with parameters - reference to instance of type [unbound] (not function type) - instance of type [unbound] (not function type) - ... returning - instance of type [unbound] (not function type) - - Variable Expression: ?{}: pointer to function - ... with parameters - reference to instance of type T (not function type) - ... returning nothing - - ... with resolved type: - pointer to function - ... with parameters - reference to instance of type [unbound] (not function type) - ... returning nothing - - Variable Expression: ?{}: pointer to function - ... with parameters - reference to instance of type T (not function type) - instance of type T (not function type) - ... returning nothing - - ... with resolved type: - pointer to function - ... with parameters - reference to instance of type [unbound] (not function type) - instance of type [unbound] (not function type) - ... returning nothing - - Variable Expression: ^?{}: pointer to function - ... with parameters - reference to instance of type T (not function type) - ... returning nothing - - ... with resolved type: - pointer to function - ... with parameters - reference to instance of type [unbound] (not function type) - ... returning nothing - - function - ... with parameters - pointer to instance of type [unbound] (not function type) - ... returning nothing - - ... to arguments - Variable Expression: z: pointer to instance of type T (not function type) - ... with resolved type: - pointer to instance of type T (not function type) - with 1 pending inference slots - - ... with resolved type: - void - (types: - void - ) - Environment:([unbound]T) -> instance of type T (not function type) (no widening) - - Could not satisfy assertion: -Variable Expression: ?=?: pointer to function - ... with parameters - reference to instance of type T (not function type) - instance of type T (not function type) - ... returning - instance of type T (not function type) - - ... with resolved type: - pointer to function - ... with parameters - reference to instance of type [unbound] (not function type) - instance of type [unbound] (not function type) - ... returning - instance of type [unbound] (not function type) - Index: tests/errors/.expect/completeType.nast.x86.txt =================================================================== --- tests/errors/.expect/completeType.nast.x86.txt (revision 4ec9513d69051bd7c1fc15bed54720534c629acf) +++ (revision ) @@ -1,259 +1,0 @@ -errors/completeType.cfa:34:1 error: Cannot choose between 2 alternatives for expression -Generated Cast of: - Applying untyped: - Name: *? - ...to: - Name: x - -... to: nothing -... with resolved type: - void Alternatives are: -Cost ( 0, 1, 2, 0, 1, -1, 0 ): Generated Cast of: - Application of - Variable Expression: *?: forall - instance of type DT (not function type) - function - ... with parameters - pointer to instance of type DT (not function type) - ... returning - reference to instance of type DT (not function type) - - ... with resolved type: - pointer to forall - instance of type [unbound] (not function type) - function - ... with parameters - pointer to instance of type [unbound] (not function type) - ... returning - reference to instance of type [unbound] (not function type) - - ... to arguments - Variable Expression: x: pointer to instance of struct A without body - ... with resolved type: - pointer to instance of struct A without body - - ... with resolved type: - reference to instance of struct A without body - ... to: nothing - ... with resolved type: - void - (types: - void - ) - Environment:([unbound]DT) -> instance of struct A without body (no widening) - - -Cost ( 0, 1, 2, 0, 1, -1, 0 ): Generated Cast of: - Application of - Variable Expression: *?: forall - instance of type DT (not function type) - function - ... with parameters - pointer to instance of type DT (not function type) - ... returning - reference to instance of type DT (not function type) - - ... with resolved type: - pointer to forall - instance of type [unbound] (not function type) - function - ... with parameters - pointer to instance of type [unbound] (not function type) - ... returning - reference to instance of type [unbound] (not function type) - - ... to arguments - Variable Expression: x: pointer to instance of struct B with body - ... with resolved type: - pointer to instance of struct B with body - - ... with resolved type: - reference to instance of struct B with body - ... to: nothing - ... with resolved type: - void - (types: - void - ) - Environment:([unbound]DT) -> instance of struct B with body (no widening) - - - -errors/completeType.cfa:35:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: foo -...to: - Name: v - -errors/completeType.cfa:36:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: baz -...to: - Name: v - -errors/completeType.cfa:37:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: quux -...to: - Name: v - -errors/completeType.cfa:59:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: baz -...to: - Name: y - -errors/completeType.cfa:60:1 error: Invalid application of existing declaration(s) in expression Applying untyped: - Name: quux -...to: - Name: y - -errors/completeType.cfa:72:1 error: No alternatives with satisfiable assertions for Applying untyped: - Name: baz -...to: - Name: z - - Unsatisfiable alternative: -Cost ( 0, 1, 0, 0, 1, -5, 0 ): Application of - Variable Expression: baz: forall - instance of type T (not function type) - with assertions - Variable Expression: ?=?: pointer to function - ... with parameters - reference to instance of type T (not function type) - instance of type T (not function type) - ... returning - instance of type T (not function type) - - ... with resolved type: - pointer to function - ... with parameters - reference to instance of type T (not function type) - instance of type T (not function type) - ... returning - instance of type T (not function type) - - Variable Expression: ?{}: pointer to function - ... with parameters - reference to instance of type T (not function type) - ... returning nothing - - ... with resolved type: - pointer to function - ... with parameters - reference to instance of type T (not function type) - ... returning nothing - - Variable Expression: ?{}: pointer to function - ... with parameters - reference to instance of type T (not function type) - instance of type T (not function type) - ... returning nothing - - ... with resolved type: - pointer to function - ... with parameters - reference to instance of type T (not function type) - instance of type T (not function type) - ... returning nothing - - Variable Expression: ^?{}: pointer to function - ... with parameters - reference to instance of type T (not function type) - ... returning nothing - - ... with resolved type: - pointer to function - ... with parameters - reference to instance of type T (not function type) - ... returning nothing - - function - ... with parameters - pointer to instance of type T (not function type) - ... returning nothing - - ... with resolved type: - pointer to forall - instance of type [unbound] (not function type) - with assertions - Variable Expression: ?=?: pointer to function - ... with parameters - reference to instance of type T (not function type) - instance of type T (not function type) - ... returning - instance of type T (not function type) - - ... with resolved type: - pointer to function - ... with parameters - reference to instance of type [unbound] (not function type) - instance of type [unbound] (not function type) - ... returning - instance of type [unbound] (not function type) - - Variable Expression: ?{}: pointer to function - ... with parameters - reference to instance of type T (not function type) - ... returning nothing - - ... with resolved type: - pointer to function - ... with parameters - reference to instance of type [unbound] (not function type) - ... returning nothing - - Variable Expression: ?{}: pointer to function - ... with parameters - reference to instance of type T (not function type) - instance of type T (not function type) - ... returning nothing - - ... with resolved type: - pointer to function - ... with parameters - reference to instance of type [unbound] (not function type) - instance of type [unbound] (not function type) - ... returning nothing - - Variable Expression: ^?{}: pointer to function - ... with parameters - reference to instance of type T (not function type) - ... returning nothing - - ... with resolved type: - pointer to function - ... with parameters - reference to instance of type [unbound] (not function type) - ... returning nothing - - function - ... with parameters - pointer to instance of type [unbound] (not function type) - ... returning nothing - - ... to arguments - Variable Expression: z: pointer to instance of type T (not function type) - ... with resolved type: - pointer to instance of type T (not function type) - with 1 pending inference slots - - ... with resolved type: - void - (types: - void - ) - Environment:([unbound]T) -> instance of type T (not function type) (no widening) - - Could not satisfy assertion: -Variable Expression: ?=?: pointer to function - ... with parameters - reference to instance of type T (not function type) - instance of type T (not function type) - ... returning - instance of type T (not function type) - - ... with resolved type: - pointer to function - ... with parameters - reference to instance of type [unbound] (not function type) - instance of type [unbound] (not function type) - ... returning - instance of type [unbound] (not function type) - Index: tests/errors/.expect/completeType.oast.arm64.txt =================================================================== --- tests/errors/.expect/completeType.oast.arm64.txt (revision 4ec9513d69051bd7c1fc15bed54720534c629acf) +++ (revision ) @@ -1,219 +1,0 @@ -errors/completeType.cfa:34:1 error: Cannot choose between 2 alternatives for expression -Generated Cast of: - Applying untyped: - Name: *? - ...to: - Name: x - -... to: nothing -with resolved type: - void Alternatives are: -Cost ( 0, 1, 2, 0, 1, -1, 0 ): Generated Cast of: - Application of - Variable Expression: *?: forall - DT: data type - function - ... with parameters - intrinsic pointer to instance of type DT (not function type) - ... returning - _retval__operator_deref: reference to instance of type DT (not function type) - ... with attributes: - Attribute with name: unused - - - with resolved type: - pointer to forall - [unbound]:data type - function - ... with parameters - intrinsic pointer to instance of type [unbound] (not function type) - ... returning - _retval__operator_deref: reference to instance of type [unbound] (not function type) - ... with attributes: - Attribute with name: unused - - - ... to arguments - Variable Expression: x: pointer to instance of struct A with body 0 - with resolved type: - pointer to instance of struct A with body 0 - - with resolved type: - reference to instance of struct A with body 0 - ... to: nothing - with resolved type: - void - (types: - void - ) - Environment:([unbound]) -> instance of struct A with body 0 (no widening) - - -Cost ( 0, 1, 2, 0, 1, -1, 0 ): Generated Cast of: - Application of - Variable Expression: *?: forall - DT: data type - function - ... with parameters - intrinsic pointer to instance of type DT (not function type) - ... returning - _retval__operator_deref: reference to instance of type DT (not function type) - ... with attributes: - Attribute with name: unused - - - with resolved type: - pointer to forall - [unbound]:data type - function - ... with parameters - intrinsic pointer to instance of type [unbound] (not function type) - ... returning - _retval__operator_deref: reference to instance of type [unbound] (not function type) - ... with attributes: - Attribute with name: unused - - - ... to arguments - Variable Expression: x: pointer to instance of struct B with body 1 - with resolved type: - pointer to instance of struct B with body 1 - - with resolved type: - reference to instance of struct B with body 1 - ... to: nothing - with resolved type: - void - (types: - void - ) - Environment:([unbound]) -> instance of struct B with body 1 (no widening) - - - -errors/completeType.cfa:35:1 error: No reasonable alternatives for expression Applying untyped: - Name: foo -...to: - Name: v - -errors/completeType.cfa:36:1 error: No reasonable alternatives for expression Applying untyped: - Name: baz -...to: - Name: v - -errors/completeType.cfa:37:1 error: No reasonable alternatives for expression Applying untyped: - Name: quux -...to: - Name: v - -errors/completeType.cfa:59:1 error: No reasonable alternatives for expression Applying untyped: - Name: baz -...to: - Name: y - -errors/completeType.cfa:60:1 error: No reasonable alternatives for expression Applying untyped: - Name: quux -...to: - Name: y - -errors/completeType.cfa:72:1 error: No alternatives with satisfiable assertions for Applying untyped: - Name: baz -...to: - Name: z - - Unsatisfiable alternative: -Cost ( 0, 1, 0, 0, 1, -5, 0 ): Application of - Variable Expression: baz: forall - T: sized data type - ... with assertions - ?=?: pointer to function - ... with parameters - reference to instance of type T (not function type) - instance of type T (not function type) - ... returning - _retval__operator_assign: instance of type T (not function type) - ... with attributes: - Attribute with name: unused - - - ?{}: pointer to function - ... with parameters - reference to instance of type T (not function type) - ... returning nothing - - ?{}: pointer to function - ... with parameters - reference to instance of type T (not function type) - instance of type T (not function type) - ... returning nothing - - ^?{}: pointer to function - ... with parameters - reference to instance of type T (not function type) - ... returning nothing - - - function - ... with parameters - pointer to instance of type T (not function type) - ... returning nothing - - with resolved type: - pointer to forall - [unbound]:sized data type - ... with assertions - ?=?: pointer to function - ... with parameters - reference to instance of type [unbound] (not function type) - instance of type [unbound] (not function type) - ... returning - _retval__operator_assign: instance of type [unbound] (not function type) - ... with attributes: - Attribute with name: unused - - - ?{}: pointer to function - ... with parameters - reference to instance of type [unbound] (not function type) - ... returning nothing - - ?{}: pointer to function - ... with parameters - reference to instance of type [unbound] (not function type) - instance of type [unbound] (not function type) - ... returning nothing - - ^?{}: pointer to function - ... with parameters - reference to instance of type [unbound] (not function type) - ... returning nothing - - - function - ... with parameters - pointer to instance of type [unbound] (not function type) - ... returning nothing - - ... to arguments - Variable Expression: z: pointer to instance of type T (not function type) - with resolved type: - pointer to instance of type T (not function type) - - with resolved type: - void - (types: - void - ) - Environment:([unbound]) -> instance of type T (not function type) (no widening) - - Could not satisfy assertion: -?=?: pointer to function - ... with parameters - reference to instance of type [unbound] (not function type) - instance of type [unbound] (not function type) - ... returning - _retval__operator_assign: instance of type [unbound] (not function type) - ... with attributes: - Attribute with name: unused - - Index: tests/errors/.expect/completeType.oast.x64.txt =================================================================== --- tests/errors/.expect/completeType.oast.x64.txt (revision 4ec9513d69051bd7c1fc15bed54720534c629acf) +++ (revision ) @@ -1,219 +1,0 @@ -errors/completeType.cfa:34:1 error: Cannot choose between 2 alternatives for expression -Generated Cast of: - Applying untyped: - Name: *? - ...to: - Name: x - -... to: nothing -with resolved type: - void Alternatives are: -Cost ( 0, 1, 2, 0, 1, -1, 0 ): Generated Cast of: - Application of - Variable Expression: *?: forall - DT: data type - function - ... with parameters - intrinsic pointer to instance of type DT (not function type) - ... returning - _retval__operator_deref: reference to instance of type DT (not function type) - ... with attributes: - Attribute with name: unused - - - with resolved type: - pointer to forall - [unbound]:data type - function - ... with parameters - intrinsic pointer to instance of type [unbound] (not function type) - ... returning - _retval__operator_deref: reference to instance of type [unbound] (not function type) - ... with attributes: - Attribute with name: unused - - - ... to arguments - Variable Expression: x: pointer to instance of struct A with body 0 - with resolved type: - pointer to instance of struct A with body 0 - - with resolved type: - reference to instance of struct A with body 0 - ... to: nothing - with resolved type: - void - (types: - void - ) - Environment:([unbound]) -> instance of struct A with body 0 (no widening) - - -Cost ( 0, 1, 2, 0, 1, -1, 0 ): Generated Cast of: - Application of - Variable Expression: *?: forall - DT: data type - function - ... with parameters - intrinsic pointer to instance of type DT (not function type) - ... returning - _retval__operator_deref: reference to instance of type DT (not function type) - ... with attributes: - Attribute with name: unused - - - with resolved type: - pointer to forall - [unbound]:data type - function - ... with parameters - intrinsic pointer to instance of type [unbound] (not function type) - ... returning - _retval__operator_deref: reference to instance of type [unbound] (not function type) - ... with attributes: - Attribute with name: unused - - - ... to arguments - Variable Expression: x: pointer to instance of struct B with body 1 - with resolved type: - pointer to instance of struct B with body 1 - - with resolved type: - reference to instance of struct B with body 1 - ... to: nothing - with resolved type: - void - (types: - void - ) - Environment:([unbound]) -> instance of struct B with body 1 (no widening) - - - -errors/completeType.cfa:35:1 error: No reasonable alternatives for expression Applying untyped: - Name: foo -...to: - Name: v - -errors/completeType.cfa:36:1 error: No reasonable alternatives for expression Applying untyped: - Name: baz -...to: - Name: v - -errors/completeType.cfa:37:1 error: No reasonable alternatives for expression Applying untyped: - Name: quux -...to: - Name: v - -errors/completeType.cfa:59:1 error: No reasonable alternatives for expression Applying untyped: - Name: baz -...to: - Name: y - -errors/completeType.cfa:60:1 error: No reasonable alternatives for expression Applying untyped: - Name: quux -...to: - Name: y - -errors/completeType.cfa:72:1 error: No alternatives with satisfiable assertions for Applying untyped: - Name: baz -...to: - Name: z - - Unsatisfiable alternative: -Cost ( 0, 1, 0, 0, 1, -5, 0 ): Application of - Variable Expression: baz: forall - T: sized data type - ... with assertions - ?=?: pointer to function - ... with parameters - reference to instance of type T (not function type) - instance of type T (not function type) - ... returning - _retval__operator_assign: instance of type T (not function type) - ... with attributes: - Attribute with name: unused - - - ?{}: pointer to function - ... with parameters - reference to instance of type T (not function type) - ... returning nothing - - ?{}: pointer to function - ... with parameters - reference to instance of type T (not function type) - instance of type T (not function type) - ... returning nothing - - ^?{}: pointer to function - ... with parameters - reference to instance of type T (not function type) - ... returning nothing - - - function - ... with parameters - pointer to instance of type T (not function type) - ... returning nothing - - with resolved type: - pointer to forall - [unbound]:sized data type - ... with assertions - ?=?: pointer to function - ... with parameters - reference to instance of type [unbound] (not function type) - instance of type [unbound] (not function type) - ... returning - _retval__operator_assign: instance of type [unbound] (not function type) - ... with attributes: - Attribute with name: unused - - - ?{}: pointer to function - ... with parameters - reference to instance of type [unbound] (not function type) - ... returning nothing - - ?{}: pointer to function - ... with parameters - reference to instance of type [unbound] (not function type) - instance of type [unbound] (not function type) - ... returning nothing - - ^?{}: pointer to function - ... with parameters - reference to instance of type [unbound] (not function type) - ... returning nothing - - - function - ... with parameters - pointer to instance of type [unbound] (not function type) - ... returning nothing - - ... to arguments - Variable Expression: z: pointer to instance of type T (not function type) - with resolved type: - pointer to instance of type T (not function type) - - with resolved type: - void - (types: - void - ) - Environment:([unbound]) -> instance of type T (not function type) (no widening) - - Could not satisfy assertion: -?=?: pointer to function - ... with parameters - reference to instance of type [unbound] (not function type) - instance of type [unbound] (not function type) - ... returning - _retval__operator_assign: instance of type [unbound] (not function type) - ... with attributes: - Attribute with name: unused - - Index: tests/errors/.expect/completeType.oast.x86.txt =================================================================== --- tests/errors/.expect/completeType.oast.x86.txt (revision 4ec9513d69051bd7c1fc15bed54720534c629acf) +++ (revision ) @@ -1,219 +1,0 @@ -errors/completeType.cfa:34:1 error: Cannot choose between 2 alternatives for expression -Generated Cast of: - Applying untyped: - Name: *? - ...to: - Name: x - -... to: nothing -with resolved type: - void Alternatives are: -Cost ( 0, 1, 2, 0, 1, -1, 0 ): Generated Cast of: - Application of - Variable Expression: *?: forall - DT: data type - function - ... with parameters - intrinsic pointer to instance of type DT (not function type) - ... returning - _retval__operator_deref: reference to instance of type DT (not function type) - ... with attributes: - Attribute with name: unused - - - with resolved type: - pointer to forall - [unbound]:data type - function - ... with parameters - intrinsic pointer to instance of type [unbound] (not function type) - ... returning - _retval__operator_deref: reference to instance of type [unbound] (not function type) - ... with attributes: - Attribute with name: unused - - - ... to arguments - Variable Expression: x: pointer to instance of struct A with body 0 - with resolved type: - pointer to instance of struct A with body 0 - - with resolved type: - reference to instance of struct A with body 0 - ... to: nothing - with resolved type: - void - (types: - void - ) - Environment:([unbound]) -> instance of struct A with body 0 (no widening) - - -Cost ( 0, 1, 2, 0, 1, -1, 0 ): Generated Cast of: - Application of - Variable Expression: *?: forall - DT: data type - function - ... with parameters - intrinsic pointer to instance of type DT (not function type) - ... returning - _retval__operator_deref: reference to instance of type DT (not function type) - ... with attributes: - Attribute with name: unused - - - with resolved type: - pointer to forall - [unbound]:data type - function - ... with parameters - intrinsic pointer to instance of type [unbound] (not function type) - ... returning - _retval__operator_deref: reference to instance of type [unbound] (not function type) - ... with attributes: - Attribute with name: unused - - - ... to arguments - Variable Expression: x: pointer to instance of struct B with body 1 - with resolved type: - pointer to instance of struct B with body 1 - - with resolved type: - reference to instance of struct B with body 1 - ... to: nothing - with resolved type: - void - (types: - void - ) - Environment:([unbound]) -> instance of struct B with body 1 (no widening) - - - -errors/completeType.cfa:35:1 error: No reasonable alternatives for expression Applying untyped: - Name: foo -...to: - Name: v - -errors/completeType.cfa:36:1 error: No reasonable alternatives for expression Applying untyped: - Name: baz -...to: - Name: v - -errors/completeType.cfa:37:1 error: No reasonable alternatives for expression Applying untyped: - Name: quux -...to: - Name: v - -errors/completeType.cfa:59:1 error: No reasonable alternatives for expression Applying untyped: - Name: baz -...to: - Name: y - -errors/completeType.cfa:60:1 error: No reasonable alternatives for expression Applying untyped: - Name: quux -...to: - Name: y - -errors/completeType.cfa:72:1 error: No alternatives with satisfiable assertions for Applying untyped: - Name: baz -...to: - Name: z - - Unsatisfiable alternative: -Cost ( 0, 1, 0, 0, 1, -5, 0 ): Application of - Variable Expression: baz: forall - T: sized data type - ... with assertions - ?=?: pointer to function - ... with parameters - reference to instance of type T (not function type) - instance of type T (not function type) - ... returning - _retval__operator_assign: instance of type T (not function type) - ... with attributes: - Attribute with name: unused - - - ?{}: pointer to function - ... with parameters - reference to instance of type T (not function type) - ... returning nothing - - ?{}: pointer to function - ... with parameters - reference to instance of type T (not function type) - instance of type T (not function type) - ... returning nothing - - ^?{}: pointer to function - ... with parameters - reference to instance of type T (not function type) - ... returning nothing - - - function - ... with parameters - pointer to instance of type T (not function type) - ... returning nothing - - with resolved type: - pointer to forall - [unbound]:sized data type - ... with assertions - ?=?: pointer to function - ... with parameters - reference to instance of type [unbound] (not function type) - instance of type [unbound] (not function type) - ... returning - _retval__operator_assign: instance of type [unbound] (not function type) - ... with attributes: - Attribute with name: unused - - - ?{}: pointer to function - ... with parameters - reference to instance of type [unbound] (not function type) - ... returning nothing - - ?{}: pointer to function - ... with parameters - reference to instance of type [unbound] (not function type) - instance of type [unbound] (not function type) - ... returning nothing - - ^?{}: pointer to function - ... with parameters - reference to instance of type [unbound] (not function type) - ... returning nothing - - - function - ... with parameters - pointer to instance of type [unbound] (not function type) - ... returning nothing - - ... to arguments - Variable Expression: z: pointer to instance of type T (not function type) - with resolved type: - pointer to instance of type T (not function type) - - with resolved type: - void - (types: - void - ) - Environment:([unbound]) -> instance of type T (not function type) (no widening) - - Could not satisfy assertion: -?=?: pointer to function - ... with parameters - reference to instance of type [unbound] (not function type) - instance of type [unbound] (not function type) - ... returning - _retval__operator_assign: instance of type [unbound] (not function type) - ... with attributes: - Attribute with name: unused - - Index: tests/errors/.expect/completeType.x64.txt =================================================================== --- tests/errors/.expect/completeType.x64.txt (revision 1c893aef63e3cbbf67a354696e988219eb19aff6) +++ tests/errors/.expect/completeType.x64.txt (revision 1c893aef63e3cbbf67a354696e988219eb19aff6) @@ -0,0 +1,259 @@ +errors/completeType.cfa:34:1 error: Cannot choose between 2 alternatives for expression +Generated Cast of: + Applying untyped: + Name: *? + ...to: + Name: x + +... to: nothing +... with resolved type: + void Alternatives are: +Cost ( 0, 1, 2, 0, 1, -1, 0 ): Generated Cast of: + Application of + Variable Expression: *?: forall + instance of type DT (not function type) + function + ... with parameters + pointer to instance of type DT (not function type) + ... returning + reference to instance of type DT (not function type) + + ... with resolved type: + pointer to forall + instance of type [unbound] (not function type) + function + ... with parameters + pointer to instance of type [unbound] (not function type) + ... returning + reference to instance of type [unbound] (not function type) + + ... to arguments + Variable Expression: x: pointer to instance of struct A without body + ... with resolved type: + pointer to instance of struct A without body + + ... with resolved type: + reference to instance of struct A without body + ... to: nothing + ... with resolved type: + void + (types: + void + ) + Environment:([unbound]DT) -> instance of struct A without body (no widening) + + +Cost ( 0, 1, 2, 0, 1, -1, 0 ): Generated Cast of: + Application of + Variable Expression: *?: forall + instance of type DT (not function type) + function + ... with parameters + pointer to instance of type DT (not function type) + ... returning + reference to instance of type DT (not function type) + + ... with resolved type: + pointer to forall + instance of type [unbound] (not function type) + function + ... with parameters + pointer to instance of type [unbound] (not function type) + ... returning + reference to instance of type [unbound] (not function type) + + ... to arguments + Variable Expression: x: pointer to instance of struct B with body + ... with resolved type: + pointer to instance of struct B with body + + ... with resolved type: + reference to instance of struct B with body + ... to: nothing + ... with resolved type: + void + (types: + void + ) + Environment:([unbound]DT) -> instance of struct B with body (no widening) + + + +errors/completeType.cfa:35:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: foo +...to: + Name: v + +errors/completeType.cfa:36:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: baz +...to: + Name: v + +errors/completeType.cfa:37:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: quux +...to: + Name: v + +errors/completeType.cfa:59:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: baz +...to: + Name: y + +errors/completeType.cfa:60:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: quux +...to: + Name: y + +errors/completeType.cfa:72:1 error: No alternatives with satisfiable assertions for Applying untyped: + Name: baz +...to: + Name: z + + Unsatisfiable alternative: +Cost ( 0, 1, 0, 0, 1, -5, 0 ): Application of + Variable Expression: baz: forall + instance of type T (not function type) + with assertions + Variable Expression: ?=?: pointer to function + ... with parameters + reference to instance of type T (not function type) + instance of type T (not function type) + ... returning + instance of type T (not function type) + + ... with resolved type: + pointer to function + ... with parameters + reference to instance of type T (not function type) + instance of type T (not function type) + ... returning + instance of type T (not function type) + + Variable Expression: ?{}: pointer to function + ... with parameters + reference to instance of type T (not function type) + ... returning nothing + + ... with resolved type: + pointer to function + ... with parameters + reference to instance of type T (not function type) + ... returning nothing + + Variable Expression: ?{}: pointer to function + ... with parameters + reference to instance of type T (not function type) + instance of type T (not function type) + ... returning nothing + + ... with resolved type: + pointer to function + ... with parameters + reference to instance of type T (not function type) + instance of type T (not function type) + ... returning nothing + + Variable Expression: ^?{}: pointer to function + ... with parameters + reference to instance of type T (not function type) + ... returning nothing + + ... with resolved type: + pointer to function + ... with parameters + reference to instance of type T (not function type) + ... returning nothing + + function + ... with parameters + pointer to instance of type T (not function type) + ... returning nothing + + ... with resolved type: + pointer to forall + instance of type [unbound] (not function type) + with assertions + Variable Expression: ?=?: pointer to function + ... with parameters + reference to instance of type T (not function type) + instance of type T (not function type) + ... returning + instance of type T (not function type) + + ... with resolved type: + pointer to function + ... with parameters + reference to instance of type [unbound] (not function type) + instance of type [unbound] (not function type) + ... returning + instance of type [unbound] (not function type) + + Variable Expression: ?{}: pointer to function + ... with parameters + reference to instance of type T (not function type) + ... returning nothing + + ... with resolved type: + pointer to function + ... with parameters + reference to instance of type [unbound] (not function type) + ... returning nothing + + Variable Expression: ?{}: pointer to function + ... with parameters + reference to instance of type T (not function type) + instance of type T (not function type) + ... returning nothing + + ... with resolved type: + pointer to function + ... with parameters + reference to instance of type [unbound] (not function type) + instance of type [unbound] (not function type) + ... returning nothing + + Variable Expression: ^?{}: pointer to function + ... with parameters + reference to instance of type T (not function type) + ... returning nothing + + ... with resolved type: + pointer to function + ... with parameters + reference to instance of type [unbound] (not function type) + ... returning nothing + + function + ... with parameters + pointer to instance of type [unbound] (not function type) + ... returning nothing + + ... to arguments + Variable Expression: z: pointer to instance of type T (not function type) + ... with resolved type: + pointer to instance of type T (not function type) + with 1 pending inference slots + + ... with resolved type: + void + (types: + void + ) + Environment:([unbound]T) -> instance of type T (not function type) (no widening) + + Could not satisfy assertion: +Variable Expression: ?=?: pointer to function + ... with parameters + reference to instance of type T (not function type) + instance of type T (not function type) + ... returning + instance of type T (not function type) + + ... with resolved type: + pointer to function + ... with parameters + reference to instance of type [unbound] (not function type) + instance of type [unbound] (not function type) + ... returning + instance of type [unbound] (not function type) + Index: tests/errors/.expect/completeType.x86.txt =================================================================== --- tests/errors/.expect/completeType.x86.txt (revision 1c893aef63e3cbbf67a354696e988219eb19aff6) +++ tests/errors/.expect/completeType.x86.txt (revision 1c893aef63e3cbbf67a354696e988219eb19aff6) @@ -0,0 +1,259 @@ +errors/completeType.cfa:34:1 error: Cannot choose between 2 alternatives for expression +Generated Cast of: + Applying untyped: + Name: *? + ...to: + Name: x + +... to: nothing +... with resolved type: + void Alternatives are: +Cost ( 0, 1, 2, 0, 1, -1, 0 ): Generated Cast of: + Application of + Variable Expression: *?: forall + instance of type DT (not function type) + function + ... with parameters + pointer to instance of type DT (not function type) + ... returning + reference to instance of type DT (not function type) + + ... with resolved type: + pointer to forall + instance of type [unbound] (not function type) + function + ... with parameters + pointer to instance of type [unbound] (not function type) + ... returning + reference to instance of type [unbound] (not function type) + + ... to arguments + Variable Expression: x: pointer to instance of struct A without body + ... with resolved type: + pointer to instance of struct A without body + + ... with resolved type: + reference to instance of struct A without body + ... to: nothing + ... with resolved type: + void + (types: + void + ) + Environment:([unbound]DT) -> instance of struct A without body (no widening) + + +Cost ( 0, 1, 2, 0, 1, -1, 0 ): Generated Cast of: + Application of + Variable Expression: *?: forall + instance of type DT (not function type) + function + ... with parameters + pointer to instance of type DT (not function type) + ... returning + reference to instance of type DT (not function type) + + ... with resolved type: + pointer to forall + instance of type [unbound] (not function type) + function + ... with parameters + pointer to instance of type [unbound] (not function type) + ... returning + reference to instance of type [unbound] (not function type) + + ... to arguments + Variable Expression: x: pointer to instance of struct B with body + ... with resolved type: + pointer to instance of struct B with body + + ... with resolved type: + reference to instance of struct B with body + ... to: nothing + ... with resolved type: + void + (types: + void + ) + Environment:([unbound]DT) -> instance of struct B with body (no widening) + + + +errors/completeType.cfa:35:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: foo +...to: + Name: v + +errors/completeType.cfa:36:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: baz +...to: + Name: v + +errors/completeType.cfa:37:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: quux +...to: + Name: v + +errors/completeType.cfa:59:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: baz +...to: + Name: y + +errors/completeType.cfa:60:1 error: Invalid application of existing declaration(s) in expression Applying untyped: + Name: quux +...to: + Name: y + +errors/completeType.cfa:72:1 error: No alternatives with satisfiable assertions for Applying untyped: + Name: baz +...to: + Name: z + + Unsatisfiable alternative: +Cost ( 0, 1, 0, 0, 1, -5, 0 ): Application of + Variable Expression: baz: forall + instance of type T (not function type) + with assertions + Variable Expression: ?=?: pointer to function + ... with parameters + reference to instance of type T (not function type) + instance of type T (not function type) + ... returning + instance of type T (not function type) + + ... with resolved type: + pointer to function + ... with parameters + reference to instance of type T (not function type) + instance of type T (not function type) + ... returning + instance of type T (not function type) + + Variable Expression: ?{}: pointer to function + ... with parameters + reference to instance of type T (not function type) + ... returning nothing + + ... with resolved type: + pointer to function + ... with parameters + reference to instance of type T (not function type) + ... returning nothing + + Variable Expression: ?{}: pointer to function + ... with parameters + reference to instance of type T (not function type) + instance of type T (not function type) + ... returning nothing + + ... with resolved type: + pointer to function + ... with parameters + reference to instance of type T (not function type) + instance of type T (not function type) + ... returning nothing + + Variable Expression: ^?{}: pointer to function + ... with parameters + reference to instance of type T (not function type) + ... returning nothing + + ... with resolved type: + pointer to function + ... with parameters + reference to instance of type T (not function type) + ... returning nothing + + function + ... with parameters + pointer to instance of type T (not function type) + ... returning nothing + + ... with resolved type: + pointer to forall + instance of type [unbound] (not function type) + with assertions + Variable Expression: ?=?: pointer to function + ... with parameters + reference to instance of type T (not function type) + instance of type T (not function type) + ... returning + instance of type T (not function type) + + ... with resolved type: + pointer to function + ... with parameters + reference to instance of type [unbound] (not function type) + instance of type [unbound] (not function type) + ... returning + instance of type [unbound] (not function type) + + Variable Expression: ?{}: pointer to function + ... with parameters + reference to instance of type T (not function type) + ... returning nothing + + ... with resolved type: + pointer to function + ... with parameters + reference to instance of type [unbound] (not function type) + ... returning nothing + + Variable Expression: ?{}: pointer to function + ... with parameters + reference to instance of type T (not function type) + instance of type T (not function type) + ... returning nothing + + ... with resolved type: + pointer to function + ... with parameters + reference to instance of type [unbound] (not function type) + instance of type [unbound] (not function type) + ... returning nothing + + Variable Expression: ^?{}: pointer to function + ... with parameters + reference to instance of type T (not function type) + ... returning nothing + + ... with resolved type: + pointer to function + ... with parameters + reference to instance of type [unbound] (not function type) + ... returning nothing + + function + ... with parameters + pointer to instance of type [unbound] (not function type) + ... returning nothing + + ... to arguments + Variable Expression: z: pointer to instance of type T (not function type) + ... with resolved type: + pointer to instance of type T (not function type) + with 1 pending inference slots + + ... with resolved type: + void + (types: + void + ) + Environment:([unbound]T) -> instance of type T (not function type) (no widening) + + Could not satisfy assertion: +Variable Expression: ?=?: pointer to function + ... with parameters + reference to instance of type T (not function type) + instance of type T (not function type) + ... returning + instance of type T (not function type) + + ... with resolved type: + pointer to function + ... with parameters + reference to instance of type [unbound] (not function type) + instance of type [unbound] (not function type) + ... returning + instance of type [unbound] (not function type) + Index: tests/errors/.expect/scope.nast.txt =================================================================== --- tests/errors/.expect/scope.nast.txt (revision 4ec9513d69051bd7c1fc15bed54720534c629acf) +++ (revision ) @@ -1,9 +1,0 @@ -errors/scope.cfa:2:1 error: duplicate object definition for thisIsAnError: signed int -errors/scope.cfa:20:1 error: duplicate function definition for butThisIsAnError: function -... with parameters - double -... returning - double - with body - Compound Statement: - Index: tests/errors/.expect/scope.oast.txt =================================================================== --- tests/errors/.expect/scope.oast.txt (revision 4ec9513d69051bd7c1fc15bed54720534c629acf) +++ (revision ) @@ -1,12 +1,0 @@ -errors/scope.cfa:2:1 error: duplicate object definition for thisIsAnError: signed int -errors/scope.cfa:20:1 error: duplicate function definition for butThisIsAnError: function -... with parameters - double -... returning - _retval_butThisIsAnError: double - ... with attributes: - Attribute with name: unused - -... with body - CompoundStmt - Index: tests/errors/.expect/scope.txt =================================================================== --- tests/errors/.expect/scope.txt (revision 1c893aef63e3cbbf67a354696e988219eb19aff6) +++ tests/errors/.expect/scope.txt (revision 1c893aef63e3cbbf67a354696e988219eb19aff6) @@ -0,0 +1,9 @@ +errors/scope.cfa:2:1 error: duplicate object definition for thisIsAnError: signed int +errors/scope.cfa:20:1 error: duplicate function definition for butThisIsAnError: function +... with parameters + double +... returning + double + with body + Compound Statement: +