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/models
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
..
controlflow.mps Apply migration to replace deprecated concept. 2020-02-26 15:03:31 +01:00
jetbrains.mps.baseLanguageExt.behavior.mps Switch to 2018.3 RC. Apply all migrations. 2018-11-28 16:48:59 +01:00
jetbrains.mps.baseLanguageExt.constraints.mps Restructuring the project: consolidate code, moving samples away. 2018-07-14 17:22:07 +02:00
jetbrains.mps.baseLanguageExt.editor.mps Run migrations with MPS 2019.2 EAP3. 2019-07-26 17:27:18 +02:00
jetbrains.mps.baseLanguageExt.structure.mps Restructuring the project: consolidate code, moving samples away. 2018-07-14 17:22:07 +02:00
jetbrains.mps.baseLanguageExt.types.mps 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.typesystem.mps Restructuring the project: consolidate code, moving samples away. 2018-07-14 17:22:07 +02:00