Introduce macro for type scheme instantiation, refactor existing rules with it

Browse Source

Now rules concerned with generics handle type vars from enclosing scope.
Complete typechecking of BaseMethodCall: consider static/nonstatic cases.
Complete typechecking for class creators, handling type vars from cls & ctor.
Refactor rules for EnumConstantDeccl & ClassifierType.
Related to MPSCR-20 & MPSCR-29.

...

This commit is contained in:

Grigorii Kirgizov 2020-05-20 12:59:48 +03:00

parent 4e43c924c6

commit fe58f39b56

1 changed files with 3761 additions and 2804 deletions

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6565

samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps

View File

File diff suppressed because it is too large Load Diff