suzanne.soy/phc-graph
1
0
Fork 0
Code Issues 24 Pull Requests Actions Packages Projects Releases Wiki Activity
129 Commits 3 Branches 0 Tags 531 KiB
main
Commit Graph

129 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Georges Dupéron
1ad9f691aa Sketched a "def" form, which implicitly does pattern matching and defines functions and macros alike. 2017-06-01 16:47:05 +02:00
Georges Dupéron
fe3eec2b44 More literate explanations 2017-06-01 16:46:29 +02:00
Georges Dupéron
cae1d4d430 Improved literate programming 2017-05-31 13:39:23 +02:00
Georges Dupéron
ed51b52842 WIP on row types 2017-05-25 18:23:37 +02:00
Georges Dupéron
a4af75f594 Cleanup, separated the list-of-indices-to-tree generation code, so that it can be re-used in other macros. 2017-05-22 04:44:24 +02:00
Georges Dupéron
cfbcbafe92 Switched to ꩜ character, fixed a typo 2017-05-20 15:22:39 +02:00
Georges Dupéron
d211bd1154 Put type within the use of define-pure/stateless 2017-05-20 02:46:06 +02:00
Georges Dupéron
bf9d5b2328 Cleaned up flexible structures implementation. The problem is that compiling the definitions is rather slow (~4 minutes for 10/128 fields), although those can be pre-compiled in advance, and using the functions is rather slow to typecheck (about 0.4s to use a 10/32 constructor), which is more of a problem. 2017-05-18 15:10:33 +02:00
Georges Dupéron
8f13786bf0 Implemented builder-f, cleanup. 2017-05-17 16:31:08 +02:00
Georges Dupéron
e3074a37e4 Writeup 2017-05-17 01:48:25 +02:00
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