Compiler problem with incorrect default parameters in the VO dialect

In the following sample (VO dialect), the default parameter values have wrong types, but the compiler does not throw errors on that. When actually using those default values by calling the method, then the compiler throws and ICE.

In the Core dialect, it works properly, compiler reports:

error XS1750: A value of type 'logic' cannot be used as a default parameter because there are no standard conversions to type 'string'
error XS1750: A value of type 'string' cannot be used as a default parameter because there are no standard conversions to type 'logic'

// VO dialect
CLASS TestClass
	CONSTRUCTOR( n AS INT, l := FALSE AS STRING) AS VOID // no compiler error
	METHOD Test( n := "asd" AS LOGIC) AS VOID // no compiler error
END CLASS

FUNCTION Start() AS VOID
	LOCAL o AS TestClass
	o := TestClass{1} // ICE
	o:Test() // ICE

[Compiler tests] Added tests C970-2 for #2025, #2018 and #2014

It works in the core dialect because we're not storing the default in a special attribute, but we're passing the defaults to Roslyn.
In the other dialects we're storing these values in an attribute for various reasons:

we can have defaults in the middle of the parameter list. C# does not allow that
we can have defaults that are not really a constant, such as symbols
that is what Vulcan did

Dev (#2032)

Navigation Menu

Repository navigation

Compiler problem with incorrect default parameters in the VO dialect #2014

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

Compiler problem with incorrect default parameters in the VO dialect #2014

Description

Activity

RobertvanderHulst commented on Aug 1, 2026

Metadata

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

Issue actions