Checking ADT with keyword parameters crashes TC

[PaulKlint]

module experiments::Compiler::Examples::Tst

 data F1 = f1(int N, int M = 10, bool B = false) | f1(str S);

 public value main(list[value] args) = f1(1, M=10)  := f1(1);

gives

rascal>demo("Tst", recompile=true,listing=true,debug=true)
Checking function main
Checking function main
|rascal://lang::rascal::types::CheckTypes|(197785,25,<3789,16>,<3789,41>): The called signature: extractPatternTree(sort("Pattern"), Configuration),
does not match the declared signature:  BindResult extractPatternTree(sort("Pattern"), Configuration); (concrete pattern);  BindResult extractPatternTree(sort("Pattern"), Configuration); (concrete pattern);  BindResult extractPatternTree(sort("Pattern"), Configuration); (concrete pattern);  BindResult extractPatternTree(sort("Pattern"), Configuration); (concrete pattern);  BindResult extractPatternTree(sort("Pattern"), Configuration); (concrete pattern);  BindResult extractPatternTree(sort("Pattern"), Configuration); (concrete pattern);  BindResult extractPatternTree(sort("Pattern"), Configuration); (concrete pattern);  BindResult extractPatternTree(sort("Pattern"), Configuration); (concrete pattern);  BindResult extractPatternTree(sort("Pattern"), Configuration); (concrete pattern);  BindResult extractPatternTree(sort("Pattern"), Configuration); (concrete pattern);  BindResult extractPatternTree(sort("Pattern"), Configuration); (concrete pattern);  BindResult extractPatternTree(sort("Pattern"), Configuration); (concrete pattern);  BindResult extractPatternTree(sort("Pattern"), Configuration); (concrete pattern); BindResult extractPatternTree(sort("Pattern"), Configuration); (concrete pattern);  BindResult extractPatternTree(sort("Pattern"), Configuration); (concrete pattern);  BindResult extractPatternTree(sort("Pattern"), Configuration); (concrete pattern);  BindResult extractPatternTree(sort("Pattern"), Configuration); (concrete pattern); BindResult extractPatternTree(sort("Pattern"), Configuration); (concrete pattern);  BindResult extractPatternTree(sort("Pattern"), Configuration); (concrete pattern); BindResult extractPatternTree(sort("Pattern"), Configuration); (concrete pattern); BindResult extractPatternTree(sort("Pattern"), Configuration); (concrete pattern); BindResult extractPatternTree(sort("Pattern"), Configuration); (concrete pattern); BindResult extractPatternTree(sort("Pattern"), Configuration); (concrete pattern); BindResult extractPatternTree(sort("Pattern"), Configuration); (concrete pattern); BindResult extractPatternTree(sort("Pattern"), Configuration); (concrete pattern); BindResult extractPatternTree(sort("Pattern"), Configuration); (concrete pattern);  BindResult extractPatternTree(sort("Pattern"), Configuration); (concrete pattern);  BindResult extractPatternTree(sort("Pattern"), Configuration); (concrete pattern);  

[mahills]

Assumedly this is related to #458 since the checker doesn't support keyword parameters in pattern matches yet, I don't think this is a problem with the ADT having keyword parameters.

[PaulKlint]

Aha, I see, thanks for the observation.

[mahills]

This should now be resolved. Note: the pattern match doesn't do any checking yet. We really need to decide what kinds of checks we want with the keyword parameters (it could just be a runtime check, but we should do as much statically as we can). I'll close this for now, since it no longer crashes.