414a60fffc
Moving the reactor API to the separate project.
...
Switch to java_stub models for the reactor api.
2016-09-01 11:03:35 +02:00
4b6ac48a41
Merging TreeForm model into the reactor solution.
...
Move unification lib tnd treeform api model to reactor solution.
Remove obsolete solution.
2016-09-01 11:03:35 +02:00
a27cdecc67
Renamings and refactorings in the logic api.
...
Use TreeForm name for the tree abstraction.
Rename Atom, Func etc. and the usages.
2016-09-01 11:03:21 +02:00
9064c6bbb8
Minor fixes, code restructuring, fixing the dependencies, removing obsolete file.
2016-08-30 17:04:11 +02:00
2eae603d40
Removing hard links to models used by the typechecking plugin.
2016-08-29 14:46:57 +02:00
778f1bf167
Trying to make tests launch from the build file (unsuccessful)
2016-08-26 12:17:10 +02:00
569b1fd082
Build file for making the samplechecker plugin.
2016-08-25 13:55:53 +02:00
f0184de4c5
Extracting the JCHR-related stuff to drop it later.
...
Cleaning up the obsolete modules.
Get rid of dependencies on JCHR stuff.
2016-08-25 13:48:02 +02:00
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
Fedor Isakov