Fix BL types: reimplement raw type, many small fixes

Browse Source

Fix type inference from containment, change priority for var-ground containment.
Fix variable reference type, property, plus operation, binary ops.
Fix type variables and bounds.
Fix checking overridden methods.
Introduce stripBounds for cleaning up wildcards.
Introduce containment string ≤ String.

...

This commit is contained in:

Fedor Isakov 2021-05-13 15:42:17 +02:00

parent d5a91b91e5

commit 65ec6d9d35

1 changed files with 4163 additions and 1676 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

5839

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

View File

File diff suppressed because it is too large Load Diff