natas_hw
/
mps-coderules
mirror of https://github.com/JetBrains/mps-coderules
0
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
mps-coderules/samples/mpscore/languages/jetbrains.mps.baseLanguageExt
History
Grigorii Kirgizov b526afd357 Ensure typeVarBound constraint is produced once for each tv decl. Fix capture of type var. 
Fixes typechecking tests.
Type var bounds are produced together with genDecls at program start.
Now bound of type var is captured only when needed --
inside convertsTo check, leaving typeVarBound intact.
 		2020-03-11 12:26:03 +03:00
..
models Ensure typeVarBound constraint is produced once for each tv decl. Fix capture of type var. 2020-03-11 12:26:03 +03:00
jetbrains.mps.baseLanguageExt.mpl Apply migration to replace deprecated concept. 2020-02-26 15:03:31 +01:00