dba9a7ce26
lc: Provide visibility modifiers for helper constraint declarations
2019-02-13 12:23:13 +03:00
66c9a8da39
Run some migration concerned with descriptors
2019-02-12 19:08:43 +03:00
92a2a3e1bb
Make migration for adding default `public` visibility modifier rerunnable (non-destructive)
2019-02-12 19:08:06 +03:00
e6b4a89da8
Run migration for adding default `public` visibility modifier
2019-02-12 19:02:34 +03:00
a5a0d1ddb5
Add visibility modifiers to ConstraintDeclaration. Add migration for it.
2019-02-12 19:01:06 +03:00
e87c9654c1
lc: minor: Fix missed condition in guard on merging type constraints rule. Could have possibly led to bug in somewhere.
2019-02-06 16:00:31 +03:00
0fcff76308
Re-save all models updated resolve info.
2019-02-06 13:22:32 +01:00
b42d7553c8
Temporarily comment out an instance of let clause that produces different result in local inference.
2019-02-06 12:59:38 +01:00
aa1a29a318
Make all tests in lambdacalc subproject pass including local inference.
2019-02-06 12:58:46 +01:00
a240246daa
Ensure failures don't stop program evaluation, recover failure always at top level (when processing "main/0" constraint).
...
Keep track of principal origins to be used as points of failure.
Minor code cleanup/refactoring.
2019-02-06 12:57:47 +01:00
1ad5f22f7b
Prevent gradle from creating unnecessary build folders.
2019-02-05 15:36:00 +01:00
0cd29c5729
lc: Add type inference dependencies ('require' things) to output the same types for local type inf. Some renames.
...
Types from local & non-local type inf differ in 2 cases:
- different type variables names
- non-local typecheck fails, but some types still get to output
2019-02-05 13:03:51 +03:00
fd94f0a249
Straghten up build tasks: assemble to be the default task. Remove superfluous configure_gradle script, use -P switches instead.
2019-02-04 11:32:13 +01:00
0798f16e0e
Add TeamCity build status badge
2019-02-03 23:54:41 +01:00
583bf717e3
Make dependency build number prefixed with MPS as is defined by TC.
2019-02-03 19:34:43 +01:00
270ac30b63
Introduce configure script for gradle properties to be used in CI env. MPS build to be referenced by build number only.
2019-02-03 18:57:41 +01:00
0fb0771ad7
Ensure parent of varRef is included into typechecking. This fixes some locally inferred types mismatch.
2019-02-02 16:11:38 +01:00
6e85a2c4fa
Use custom matching strategy in lambdacalc tests.
2019-02-02 16:10:35 +01:00
49a381936d
Enable to specify custom matching strategy when asserting that locally inferred types are the same.
2019-02-02 16:09:39 +01:00
ebada478c6
Replace error annotation with suppress error annotation to indicate an expected constraint violation.
2019-02-01 14:17:57 +01:00
e0b856634c
Add java plugin to all gradle scripts.
2019-02-01 14:15:57 +01:00
38777cda51
Ensure failed test means failed build for all sample projects.
2019-02-01 14:15:04 +01:00
ebd4f82514
Specify the value for ${project_home} macrii in sample subprojects. Fix tests being ignored in CI.
2019-02-01 12:08:29 +01:00
5b255f2a02
Fix references and introduce languages engaged on generation to keep compat. w/191 EAP.
2019-02-01 11:31:35 +01:00
080bb0a448
Fix gradle scripts to get rid of deprecated stuff. Default task to build everything without testing. Update INSTALL.txt.
2019-02-01 00:40:59 +01:00
92faa816f8
Drop superfluous log statements.
2019-01-31 23:47:11 +01:00
bfe2129b42
Upgrade gradle to 4.10.3
2019-01-31 17:39:39 +01:00
81ee94c342
Fix gradle scripts to ensure model checker is run after everything else has heen built.
2019-01-31 17:39:39 +01:00
a40e50bc53
Temprorarily suppress errors in two locations due to constraints violation (to be fixed).
2019-01-31 12:05:35 +01:00
767444a5c0
Make LetClause able to suppress errors in its children.
2019-01-31 12:05:35 +01:00
012b8963cb
Fix errors found by model checker in lambdacalc sample.
2019-01-31 12:05:21 +01:00
24ac5447b3
Make ErrorAnnotation able to suppress errors.
2019-01-31 11:44:07 +01:00
9243c00c65
Fix issues found by model checker (ex typesystem).
2019-01-31 11:30:02 +01:00
dc1965fdc9
Introduce a test for running model checker on all models in the project as a part of CI.
2019-01-31 11:30:02 +01:00
8d7bdcf173
lc: minor: Remove unneeded checkConstraints in subsumption
...
This case is anyhow handled by typeConstraints_discharge rule, when subsumes_leaves fires up,
even before those removed checks repeat this work.
2019-01-28 17:02:55 +03:00
172f74b6f8
lc: minor: Add some comments. Some cleanup.
2019-01-28 16:59:05 +03:00
a2012219b7
lc: Fix spurious typeConstraints reactivation on forall gen. Fix recursive case in instanceCheck.
...
As a consequence, there's a simplification of produceTypeConstraints rules.
Also add comments and fix some test cases: some of them are actually typeable.
Now tests are correct (checked against Haskell's typechecker) and all pass.
2019-01-28 13:32:32 +03:00
0a5a7ec3c6
lc: minor: in 'typeclasses' restructure rule for Typeclass, add few comments, add Doc for failing type output (TypeclassesTest)
2019-01-28 11:38:33 +03:00
41e8d3d96e
lc: Fix forgotten typeOf rule for 'fix' operator. Add typeclasses tests to test suite.
2019-01-28 11:38:33 +03:00
2a44bb0ef0
lc: Fix absence of type output in some cases -- match in `produceTypeConstraints` rule in a different way
2019-01-28 11:38:33 +03:00
d364dc24e4
lc: add type output (with a workaround) for Constraints in 'recover'
...
Workaround: ConstraintRepr SNode is added specifically for outputting types.
2019-01-28 11:38:33 +03:00
4044b7f5e8
lc: Split typeConstraints constraint to two, according to its 2 types of usages: as typevar def and as actual Constraints
2019-01-28 11:38:33 +03:00
ecc6c4aed2
lc: Add Constraint check for unified terms. Few fixes for typeclasses. Add typecheck deps for typeclasses. Some tests.
...
Some Constraints checks are not covered by 'subsumed', so, need top rule for discharging those.
Fix Constraint set production in 'types', use new set for each type var. Fix 'instance' constraint.
2019-01-28 11:38:33 +03:00
20c9e0aae8
lc: add initial version of Constraints check rules, part of subsumption. Add partial recover rules. Other minor changes.
...
Also a fix to typeOf_PrototypeImpl rule, and a fix to instTypeVars: needed to copy Constraint sets.
2019-01-28 11:38:33 +03:00
52348b2b38
Make comment look nicer with standard C-style representation.
...
Make Handler, MacroTable and their contents commentable.
2019-01-27 23:33:02 +01:00
613e895d17
Fix constraint rules editor to display "activate" section always.
...
Constraint rule to be entered with "on" keyword.
2019-01-27 22:56:07 +01:00
37b6afa642
Enable back working tests in lambdacalc
2019-01-26 14:15:30 +01:00
551a015ada
Fix unification predicate not doing occurrs check on tell.
2019-01-26 13:52:10 +01:00
f3c2f53fa6
Temporarily disable failing tests in lambdacalc sample
2019-01-25 15:02:26 +01:00
934f98b717
Fix UnificationPredicate to delegate logical union logic to the underlying implementation.
...
Test unification failure on cycle detected.
2019-01-25 15:02:03 +01:00
grigorii.kirgizov