TC crashes on library file Ambiguity.rsc

[PaulKlint]

compile(|project://rascal/src/org/rascalmpl/library/Ambiguity.rsc|);

gives

|rascal://lang::rascal::types::CheckTypes|(31671,1,<634,13>,<634,14>): Expected map[RName, int], but got map[RName, value]

[mahills]

I just committed a fix for this crash, but there are still some type errors, at least some of which appear to be well-founded. I'll need to look through them.

[PaulKlint]

I have solved the real errors in Ambiguity. Now only remains what seems to be an error in the type checker:

error("Could not calculate function type because of errors calculating the parameter types",|project://rascal/src/org/rascalmpl/library/ParseTree.rsc|(11012,119,<278,7>,<278,126>))
error("Type of pattern could not be computed, please add additional type annotations",|project://rascal/src/org/rascalmpl/library/ParseTree.rsc|(11054,53,<278,49>,<278,102>))

[mahills]

I am currently able to check Ambiguity without any errors being reported.

[PaulKlint]

Good news!