Grigorii Kirgizov 530dfd8719 Fix incorrect vis scopes due to failing coerceTo queries. Assign 'fallback' type in classifierType macro on error to continue typechecking besides returning error. ... The problem is concerned from incorrect recover of captureType given recent changes to its handling. Essentially, recover was losing information about inferred type var bounds. Also, necessary rule for convertsTo for upperBpundType was missing.		2019-10-28 20:55:24 +03:00
..
fitch	Extend typechecking query TYPECHECK with a parameter to report types.	2019-10-10 17:30:11 +02:00
lambdacalc	Fix all templates with broken scopes for logical variables.	2019-10-25 22:45:55 +02:00
mpscore	Fix incorrect vis scopes due to failing coerceTo queries. Assign 'fallback' type in classifierType macro on error to continue typechecking besides returning error.	2019-10-28 20:55:24 +03:00