ee1dc0ff82
Extract provisional sample typechecker API to the plugin
2016-08-22 12:22:01 +02:00
a1b3b8510e
Switch to using the types language aspect for running the sample checker plugin.
2016-08-17 11:47:39 +02:00
d78f15b5e5
Move the typechecking templates model to the sampleLang types aspect.
2016-08-17 11:02:33 +02:00
0018ee7154
Implementing types language aspect generation and runtime support.
2016-08-17 11:02:33 +02:00
f8876f6b4c
Typechecking templates: replaced instances of a deprecated concept
2016-08-15 11:54:35 +02:00
72463c7951
Auto-migrated to the new actions using build 162.1007.
2016-08-12 13:35:44 +02:00
6b02155302
Typechecking templates: replace lists constructed with terms with the dsl construct.
2016-08-09 12:15:33 +02:00
c6f06ddcf6
Typechecking templates: making use of the latest features in the typesystem2 language, simplifying the code.
2016-08-05 12:39:39 +02:00
df6a9dab7c
Typechecking templates: removed the obsolete boilerplate code.
2016-07-29 11:31:55 +02:00
fa288602f7
Correct a typo in NodePrinter
2016-07-28 12:44:39 +02:00
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
Fedor Isakov