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

82 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
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
Georges Dupéron
c3bfafb927 Remove output so that Travis build succeeds. 2017-01-18 00:23:53 +01:00
Georges Dupéron
7a264197ea Re-enable building HEAD with Travis 2017-01-18 00:01:26 +01:00
Georges Dupéron
2b74c85f83 Revert "Attempt to fix build on Travis" 
This reverts commit 4ad59206eb.
 2017-01-18 00:01:23 +01:00
Georges Dupéron
4ad59206eb Attempt to fix build on Travis 2017-01-18 00:00:19 +01:00
Georges Dupéron
1ef7613daa Got printing of the graph-info working 2017-01-17 23:03:41 +01:00
Georges Dupéron
bd04ef6262 Printing bug when printing the set. 2017-01-17 19:12:51 +01:00
Georges Dupéron
fb1786b4ac More work on the invariants 2017-01-16 03:12:01 +01:00
Georges Dupéron
b7c2babf85 Preliminary tests to compare stronger and weaker sets of predicates (for now just super/sub-set) 2017-01-10 23:02:17 +01:00
Georges Dupéron
64d1756678 Started drafting the ≡ invariant representation as a type 2017-01-09 19:44:21 +01:00
Georges Dupéron
aceb9e71f3 Added checks for the assumptions I made on the behaviour of TR concerning phantom types, covariance, contravariance and its ability to recognize different formulations of the same type (or of a subtype or supertype). Updated the mindmap notes. 2017-01-06 19:05:43 +01:00
Georges Dupéron
ff4c9e2403 Added 6.7 in Travis build 2017-01-04 20:24:32 +01:00
Georges Dupéron
3edaaf91f8 Rough solutions for refinement types as witnesses of run-time checks 2017-01-04 19:50:02 +01:00
Georges Dupéron
e951c7b26f Started writing on phantom types as witnesses for invariants 2017-01-01 21:03:03 +01:00
Georges Dupéron
48bc1ed2f9 More optimisation. 2016-12-30 04:12:52 +01:00
Georges Dupéron
e9255ca439 Started writing phantom invariants representation, optimized flex records. 2016-12-30 02:25:20 +01:00
Georges Dupéron
de1f11dbf7 Switched flex records from thunks to delay/pure/stateless promises 2016-12-28 17:41:48 +01:00
Georges Dupéron
78e5037575 Field deletion in flex structs, stronger type (actually checks whether fields are present or not), tests 2016-12-28 02:17:24 +01:00
Georges Dupéron
f353f10597 Fixed rendering issues with Scribble 2016-12-27 19:18:54 +01:00
Georges Dupéron
5aae1459db . 2016-12-22 23:13:24 +01:00
Georges Dupéron
d7c41fabe6 . 2016-12-22 19:54:17 +01:00
Georges Dupéron
de81a122d3 . 2016-12-22 19:16:09 +01:00
Georges Dupéron
cf790f6600 Migrated some files from the old graph implementation 2016-12-22 18:58:57 +01:00
Georges Dupéron
263a48521d Working draft of a flexible implementation of (with tagged-instance [field val] …) 2016-12-22 18:57:59 +01:00
Georges Dupéron
72873d5d26 Old mindmap files 2016-12-16 17:34:25 +01:00
Georges Dupéron
7bc0b80356 notes 2016-12-16 17:34:06 +01:00
Georges Dupéron
60f8915c59 Changes to mindmap 2016-12-16 17:33:43 +01:00
Georges Dupéron
609b658d96 Changes to mindmap 2016-12-16 17:33:39 +01:00
Georges Dupéron
3458175b0c Cleanup 2016-11-10 18:17:04 +01:00
Georges Dupéron
4b9d7cba22 Attempt to make it work without metafunctions, but I think it's going to be difficult to use 2016-11-10 17:45:31 +01:00
Georges Dupéron
a103d48aaf Used backport-template-pr1514 2016-11-10 17:45:15 +01:00
Georges Dupéron
75703ac933 Cleanup 2016-11-05 02:55:12 +01:00
Georges Dupéron
f36c90a27b Second template metafunction works too. The scopes issue is a bit fishy, but it will do until I tackle the task of having a propper, powerfull and expressive templating library. 2016-11-05 02:53:18 +01:00
Georges Dupéron
38c9c7b7d6 First metafunction works, with a bit of a hack to remove the annoying scope. 2016-11-05 02:46:09 +01:00
Georges Dupéron
d4167fe4e4 Renamed subtemplate and quasisubtemplate as #' and #` for conciseness 2016-11-04 23:48:16 +01:00
Georges Dupéron
37d6ba92ea Needs cleanup, but works! 2016-11-04 23:30:49 +01:00
Georges Dupéron
4eecd1def8 WIP: have to separate function definition from its type with :, due to recursive functions. 2016-11-04 22:38:14 +01:00
Georges Dupéron
b083acd41a TR-bug 2016-11-04 19:19:35 +01:00