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
History
Grigorii Kirgizov cba5ff86ed Remove 'error' type-like term from bl typesystem 
It was aimed at precluding cascading typechecking failures.
(There was some case with typechecking 'hasBound' after incorrect bind.)

It seems controversial. Typechecking with it is no more predictable
than with free variables left unbound in case of error.
With current tests almost nothing changes after removing it.
 		2020-07-01 14:36:48 +03:00
..
fitch Introduce runtime support module j.m.coderules.runtime. 2020-06-21 23:17:33 +02:00
lambdacalc Introduce runtime support module j.m.coderules.runtime. 2020-06-21 23:17:33 +02:00
mpscore Remove 'error' type-like term from bl typesystem 2020-07-01 14:36:48 +03:00