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
Fedor Isakov 1c1ddd6e5d Temporarily disable failing tests in BLIncrTypecheck test case. 
Tests started to fail after an argument was introduced to a constraint that is being
activated from a query -- recoverAll/1 now has a parameter.
 		2019-10-12 09:35:09 +02:00
..
fitch Extend typechecking query TYPECHECK with a parameter to report types. 2019-10-10 17:30:11 +02:00
lambdacalc Extend typechecking query TYPECHECK with a parameter to report types. 2019-10-10 17:30:11 +02:00
mpscore Temporarily disable failing tests in BLIncrTypecheck test case. 2019-10-12 09:35:09 +02:00