53b4a44583
Use the new typetable feature in the sample typechecker plugin
2016-07-28 12:44:38 +02:00
3e82784661
Typechecking templates: rewriting type constructors with the new type table features
2016-07-28 12:44:10 +02:00
17b0f4d0a7
Automatic lang version updates after migrating to EAP3.
2016-07-28 12:43:33 +02:00
e5a2d2d096
Typechecking templates: restructuring the code in preparation for new features in typesystem2.
...
Restructuring the code making use of the new features in typesystem2.
Minor code cleanup (annotations).
2016-07-28 12:42:55 +02:00
89ff4ddbe6
Renamed the model j.m.lang.typesystem2.{runtime,generation}
2016-07-01 12:42:29 +02:00
d8d149960e
Typechecking templates: include bounds check in conversion
2016-06-30 11:21:14 +02:00
710bd28fd7
Auto-updated the mds files. Removed unused broken imports from models.
2016-06-30 09:44:17 +02:00
0aee630b0a
Setup memoizer before running the reactor.
2016-06-30 09:42:55 +02:00
61ac13c1b7
Typechecking templates: rewriting new type creator, use logicals only to capture types, bounds can be applied to type variables and wildcards as ground terms.
...
Unique ubound and lbound.
Cleaning up the obsolete constructs.
2016-06-27 13:20:34 +02:00
b3f326995e
Update samples: new test, make the code cleaner.
2016-06-24 14:36:24 +02:00
700f37982d
Refactoring: extract LogicalOwner interface to the reactor API.
2016-06-24 14:36:23 +02:00
089bf0edcf
Better visualization of types (ad hoc for now).
2016-06-24 14:36:23 +02:00
b58d6193f7
More tests for the typechecker
2016-06-16 11:52:18 +02:00
98a807349d
Changes in the typechecking templates that reflect the preceding refactoring.
2016-06-10 14:28:49 +02:00
1b5e55f4a6
Migrated to MPS 3.4 EAP2.
2016-06-08 13:46:19 +02:00
16b250fbec
Minor optimization in messages highlighting (mostly useless).
2016-06-08 11:36:29 +02:00
cf4d2fe47a
Typechecking templates: moving the patterns up to the rule's head where applicable. Code cleanup.
2016-06-06 16:53:46 +02:00
9880a6cf82
Implemented the fixed-arity invariant for terms with same symbol. The symbol "node" to have a suffix indicating its arity.
2016-06-06 16:45:23 +02:00
a85baaff55
Refactor constraint and predicate creation into builders
2016-05-24 12:56:06 +02:00
8bb7fea288
Fix memory leaks.
2016-05-10 11:25:36 +02:00
ad0b92b70a
Typechecking templates: remove a dumb hack
2016-05-10 11:25:06 +02:00
6476dcbd68
Another typechecking test.
2016-05-10 11:24:45 +02:00
0810cb25c7
More tests on lists and unification.
2016-04-28 15:39:55 +02:00
135eb0e8f6
Typechecking templates: new constraint "compatibleWith" to support method body checking; better support for integer type (ad hoc for now).
2016-04-26 17:42:27 +02:00
bdba374320
Avoid rendering problems of the activation trace because of failed assertion in the editor. Additional action "Make Type With Trace"
2016-04-26 17:41:06 +02:00
86e6237c77
Simple memoization for repetative calculations while appying typechecking templates.
2016-04-15 15:53:45 +02:00
257c405f86
New sample for testing the typechecking.
2016-04-15 15:53:45 +02:00
6229f5ebb4
Process EvaluationFailureException and retry trace event correctly.
2016-04-15 15:53:45 +02:00
a83be421d6
Typechecking templates: merge all body parts in preparation for "alternation in body" feature.
2016-04-15 15:53:44 +02:00
ddb1d668c1
Support for body alternation in the reactor API.
2016-04-11 15:33:29 +02:00
5bcf1ce3d6
Displaying failures as error nodes in the activation trace, navigate to the first failure. Minor fixes.
2016-04-04 16:03:36 +02:00
2c6dbd433e
Typechecking templates: introduce new?Bound and assertBounds constraints.
...
Containment relation delegates bounds checking to assertBounds.
New bounds are introduced via new?Bound constraint: tighter bouds go first.
Abandon the idea of "magically" resolving bounds on variables unification.
2016-04-03 22:27:38 +02:00
faafa5b04b
Fix sticky occurrences in the store view. Better presentation of the origin. Ensure proper order of sinks to correctly display store events.
2016-03-31 17:40:02 +02:00
7907fad349
Type declarations have references to type concept. Swith to using concept refs instead of conceptNode in the templates. Still relying on the "declaration node" of a concept.
2016-03-31 13:57:58 +02:00
464fdb3ec8
Filter discarded occurrences.
2016-03-30 16:41:20 +02:00
cd0b04b68c
Refactor the code in activation trace implementation. Cleaner architecture.
2016-03-30 13:54:17 +02:00
8bfac7e77a
New feature of the activation trace view: Store view synchronized with the selection in the trace
2016-03-29 18:08:17 +02:00
20c3d72f0e
Escape HTML chars in the tooltips (doh!)
2016-03-21 12:39:47 +01:00
4d67bf4796
Automatically updated file after having opened the project with the latest build.
2016-03-18 19:22:26 +01:00
7683ab9318
Minor improvements in the activation tree rendering.
2016-03-18 19:21:47 +01:00
9706f4342a
Support trying/reject trace events in the activation trace. Some code cleanup.
2016-03-17 19:06:13 +01:00
a934b27442
Drop obsolete methods in EvaluationTrace. Some code cleanup.
2016-03-17 12:12:57 +01:00
6d625ff6c5
Refactoring in the reactor API:
...
- PredicateFactory, Solver
- new EvaluationTrace interface,
- new ask/tell protocol
- get rid of unwanted dependency between API packages.
Updated memreactor lib.
2016-03-16 16:28:59 +01:00
57bd4d763c
Adjust the project module paths
2016-03-14 15:26:35 +01:00
5a54d55345
Tests to launch typechecking on sample roots
2016-03-14 15:21:49 +01:00
295dcc19da
Turn the activation trace back on. Fix memory leak in activation tool.
2016-03-11 21:45:58 +01:00
417745fbac
Fix the name of the generated JCHR class
2016-03-11 21:45:58 +01:00
57f2882cb8
Turn off activation trace (temporarily), optimize filtering of evaluation session events.
2016-03-11 21:45:57 +01:00
cf907bf247
More strict processing of type variable bounds, commenting and cleaning up the code.
...
Temporary workaround for type parameter containment, to be replaced with smarter relation.
2016-03-11 21:45:35 +01:00
e4e9476634
Allow the activation trace to be displayed on error
2016-03-11 21:45:12 +01:00
Fedor Isakov