Fedor Isakov ac89cbb3b6 New features in typechecking lang to facilitate working with types ... Introduce TypeTermTable as an alternative to TermTable dedicated to types. A "type term" declaration has a type builder: an expression which creates the corresponding SNode. To access term's features on can use FeatureReferenceExpression. The new _ExpectType_ _RecoverType_ rule tables are automatically added to the user's 'types' aspect and serve to extract types from types. AssignType and RecoverType pseudo-constraints can be used to extract/assign or just extract the type, correspondingly.		2021-09-21 17:54:51 +02:00
..
jetbrains.mps.lang.coderules	Refactor Result to be able to clear the cause	2021-09-21 17:54:51 +02:00
jetbrains.mps.lang.controlflow	Introduce language j.m.l.types to contain aspect-related generator mappings	2021-08-17 09:29:21 +02:00
jetbrains.mps.lang.smodel.types/generator/template	Drop language j.m.l.smodel.types containing SNodeTypeOp that is no longer used.	2019-11-11 14:37:41 +01:00
jetbrains.mps.lang.typechecking	New features in typechecking lang to facilitate working with types	2021-09-21 17:54:51 +02:00
jetbrains.mps.lang.types	Introduce language j.m.l.types to contain aspect-related generator mappings	2021-08-17 09:29:21 +02:00
jetbrains.mps.logic	Drop hack for finding refs in LateParameter, switch to internal var ref	2021-08-17 09:30:49 +02:00
jetbrains.mps.typechecking.annotation	Introduce language j.m.l.types to contain aspect-related generator mappings	2021-08-17 09:29:21 +02:00
jetbrains.mps.typechecking.testlang	Introduce language j.m.l.types to contain aspect-related generator mappings	2021-08-17 09:29:21 +02:00
jetbrains.mps.typechecking.testlangCycle1/generator/templates	Drop unnecessary test languages.	2020-05-07 10:23:04 +02:00
jetbrains.mps.typechecking.testlangCycle2/generator/templates	Drop unnecessary test languages.	2020-05-07 10:23:04 +02:00