Georges Dupéron
|
63e1a77ef1
|
Moved examples for hyper-literate's added/removed/dimmed highlighting facility to the hyper-literate library.
|
2017-05-16 00:08:34 +02:00 |
|
Georges Dupéron
|
b7d00485ad
|
Last versions of tests for hyper-literate's added/removed/dimmed highlighting facility. These examples will be moved to the hyper-literate library.
|
2017-05-16 00:08:01 +02:00 |
|
Georges Dupéron
|
928084c321
|
added/removed/original higlighting
|
2017-05-15 02:59:15 +02:00 |
|
Georges Dupéron
|
6221a5db83
|
Implementation for a version of the poly constructor
|
2017-05-14 03:50:35 +02:00 |
|
Georges Dupéron
|
5cc510ebf6
|
WIP
|
2017-05-14 02:24:45 +02:00 |
|
Georges Dupéron
|
36d6630906
|
Managed to force TR to propagate Nothing types (by intersecting with a (∀) type which has the same shape as the desired one, deep enough to cause the containers of Nothing types to be re-examined
|
2017-05-12 22:05:20 +02:00 |
|
Georges Dupéron
|
fc7e1552ee
|
Fixed flexible-with-generalized-ctor.hl.rkt, but TR does not refine the intersections after an (inst f τ …), or after applying a ∀ type.
|
2017-05-12 18:40:44 +02:00 |
|
Georges Dupéron
|
8ff2a1d267
|
TR Bug in flexible-with-generalized-ctor.hl.rkt: typed-racket-lib/typed-racket/types/overlap.rkt:40:0: mask-accessor: contract violation expected: mask? given: #f
|
2017-05-12 01:08:02 +02:00 |
|
Georges Dupéron
|
b6043def44
|
Draft now compiles again.
|
2017-05-03 12:57:41 +02:00 |
|
Georges Dupéron
|
0977529e6b
|
Checked that having many polymorphic arguments to a function is (no longer?) a problem. Things start getting slow above 200 polymorphic variables, but currying the function allows more arguments without a significant performance impact.
|
2017-04-28 15:35:48 +02:00 |
|
Georges Dupéron
|
35fe2e31f4
|
WIP on the graph draft
|
2017-04-27 02:02:56 +02:00 |
|
Georges Dupéron
|
eb2aed91c1
|
Draft of the main graph generation macro.
|
2017-04-26 02:24:00 +02:00 |
|
Georges Dupéron
|
c46d371e02
|
Use dotlambda's λ. notation instead of #λ.
|
2017-04-26 02:22:57 +02:00 |
|
Georges Dupéron
|
37120eec9c
|
Closes #62: Encoding of relations as types (≡, ∈, = length, < length)
|
2017-04-11 22:06:16 +02:00 |
|
Georges Dupéron
|
839bec824c
|
WIP on #62: Encoding of relations as types (≡, ∈, = length, < length) — finished most of the type-level encoding, fixed tests
|
2017-04-11 14:07:31 +02:00 |
|
Georges Dupéron
|
2ab2701789
|
WIP on #62: Encoding of relations as types (≡, ∈, = length, < length)
|
2017-04-06 21:44:17 +02:00 |
|
Georges Dupéron
|
540e8a24b7
|
Added an extra test.
|
2017-04-06 16:10:19 +02:00 |
|
Georges Dupéron
|
36ae2e8080
|
Cleaned up tests
|
2017-04-06 10:40:37 +02:00 |
|
Georges Dupéron
|
a0d682cb6c
|
Fixed some bugs with the encoding of paths
|
2017-04-06 10:27:23 +02:00 |
|
Georges Dupéron
|
359c22cb8c
|
Drafter the transformation of paths into types.
|
2017-04-05 15:46:01 +02:00 |
|
Georges Dupéron
|
32379533ed
|
Wrote parser for paths
|
2017-04-03 19:24:47 +02:00 |
|
Georges Dupéron
|
120746442e
|
Explanations on paths
|
2017-04-02 00:17:33 +02:00 |
|
Georges Dupéron
|
acb444f88f
|
Work on invariants.
|
2017-04-01 23:43:36 +02:00 |
|
Georges Dupéron
|
6c9a7a95d9
|
Fixed bug in invariants implementation (phantom type Target had no fields, and therefore its polymorphic argument was ignored). Used more precise tests (test that a ⊏ b rather than a ⊑ b for the invariant types.)
|
2017-03-27 00:39:02 +02:00 |
|
Georges Dupéron
|
2c2190a9f6
|
Added key for auto-push
|
2017-03-22 00:26:27 +01:00 |
|
Georges Dupéron
|
3922fd117f
|
make the openssl line easier to substitue (move the decrypted file to its destination after the command, not as part of it)
|
2017-03-22 00:24:54 +01:00 |
|
Georges Dupéron
|
0d36df9c1a
|
Auto-push to master successful builds on the dev branch.
|
2017-03-22 00:11:37 +01:00 |
|
Georges Dupéron
|
4be3059060
|
Added a few notes to the .vue file
|
2017-03-20 16:13:36 +01:00 |
|
Georges Dupéron
|
dad01aa118
|
Small bug fixes in traversal.hl.rkt and free-identifier-tree-equal.rkt
|
2017-03-20 16:11:01 +01:00 |
|
Georges Dupéron
|
9814513b47
|
More cleanup
|
2017-02-06 06:55:29 +01:00 |
|
Georges Dupéron
|
72261decc4
|
Cleanup of traversal.hl.rkt (still needs a lot of prose)
|
2017-02-05 21:20:07 +01:00 |
|
Georges Dupéron
|
22f3d97185
|
Cosmetic changes in traversal.hl.rkt
|
2017-02-04 02:44:23 +01:00 |
|
Georges Dupéron
|
18a8938d0c
|
Closes FB case 190 Rename λ-replace-in-instance to !λ-replace-in-instance
|
2017-01-26 21:20:51 +01:00 |
|
Georges Dupéron
|
8bf2315281
|
Closes FB case 189 Switch phc-graph to the packaged subtemplate
|
2017-01-26 19:32:06 +01:00 |
|
Georges Dupéron
|
39e703b127
|
Timing info on test-graph-type.
|
2017-01-26 17:18:28 +01:00 |
|
Georges Dupéron
|
f500dfcb1a
|
Improvements on subtemplate
|
2017-01-22 05:05:25 +01:00 |
|
Georges Dupéron
|
693ab9e84e
|
Closes FB case 176 Fix the type of nodes for (non-)polymorphic graph types
|
2017-01-20 18:28:37 +01:00 |
|
Georges Dupéron
|
7991ed7d7e
|
Added missing require
|
2017-01-20 16:31:22 +01:00 |
|
Georges Dupéron
|
4589fdff69
|
Closes FB case 169 invariant-info should override equality because it is used in a set-equal? and contains syntax objects
|
2017-01-20 16:04:40 +01:00 |
|
Georges Dupéron
|
d2f93d9ae6
|
Use master branch of phc-toolkit, phc-adt and type-expander
|
2017-01-20 15:24:20 +01:00 |
|
Georges Dupéron
|
6989b4f339
|
Closes FB case 168 Don't use /top-loc in graph-info, as the macro and its use are within the same file
|
2017-01-20 15:18:32 +01:00 |
|
Georges Dupéron
|
2de609c523
|
Closes FB case 167 Catch the errors when first calling compute-graph-info. If there are any, parameterize check-remembered-node! to not lift errors
|
2017-01-20 00:28:47 +01:00 |
|
Georges Dupéron
|
411c386bb1
|
Closes FB case #165 Use syntax? instead of identifier? in the graph-info types
|
2017-01-19 14:48:49 +01:00 |
|
Georges Dupéron
|
c896df5666
|
Closes FB case #166 Check that the contracts for graph-info are flat
|
2017-01-19 14:26:20 +01:00 |
|
Georges Dupéron
|
21a98135ec
|
Cleanup
|
2017-01-18 11:44:07 +01:00 |
|
Georges Dupéron
|
dc449fae4d
|
Remove output, incomplete types should not be in the main graph type, as wrappers may add/remove fields in the incomplete type in the graph transform or creation code.
|
2017-01-18 04:45:04 +01:00 |
|
Georges Dupéron
|
f615ae243b
|
Fixed storage of graph-info
|
2017-01-18 04:11:41 +01:00 |
|
Georges Dupéron
|
00c5471830
|
Found source of the "ill-formed code (unexpected graph structure)" error (https://github.com/racket/racket/issues/1580)
|
2017-01-18 03:37:42 +01:00 |
|
Georges Dupéron
|
3caeea4d9f
|
Fixed 3D syntax issues by using prefabs.
|
2017-01-18 02:27:11 +01:00 |
|
Georges Dupéron
|
32ac4188a6
|
Remove older versions from Travis build, they seem to have issues with phc-graph/subtemplate-override and with some of the types used in thoughts.rkt
|
2017-01-18 00:25:06 +01:00 |
|