www, branch HEAD

Added GitHub Actions CI script

2021-07-06T02:51:25Z

commit 3f0cb6d2f9206a0b1f1d25df227938451172b63c parent 2cb6125abeca25fbc8dd971ddf0c440b2f986a9c Author: Suzanne Soy Date: Tue, 6 Jul 2021 03:51:25 +0100 Added GitHub Actions CI script

Turn off coverage in older versions

2021-03-05T04:49:09Z

commit 2cb6125abeca25fbc8dd971ddf0c440b2f986a9c parent 65fe72e4d69f278f46795e810fecd0c2bfb5d203 Author: Suzanne Soy Date: Fri, 5 Mar 2021 04:49:09 +0000 Turn off coverage in older versions

Changed my name :)

2021-03-04T21:11:02Z

commit 65fe72e4d69f278f46795e810fecd0c2bfb5d203 parent 1ad9f691aa0755ed4e073f64fa357cb325816aec Author: Suzanne Soy Date: Thu, 4 Mar 2021 21:11:02 +0000 Changed my name :)

Sketched a "def" form, which implicitly does pattern matching and defines functions and macros alike.

2017-06-01T14:47:05Z

commit 1ad9f691aa0755ed4e073f64fa357cb325816aec parent fe3eec2b4453c149ded37e6bfca9a4535e3de40a Author: Georges Dupéron Date: Thu, 1 Jun 2017 16:47:05 +0200 Sketched a "def" form, which implicitly does pattern matching and defines functions and macros alike.

More literate explanations

2017-06-01T14:46:29Z

commit fe3eec2b4453c149ded37e6bfca9a4535e3de40a parent cae1d4d430736f56626430db816465870f058804 Author: Georges Dupéron Date: Thu, 1 Jun 2017 16:46:29 +0200 More literate explanations

Improved literate programming

2017-05-31T11:39:23Z

commit cae1d4d430736f56626430db816465870f058804 parent ed51b52842da5db311aff065816f81499e5be307 Author: Georges Dupéron Date: Wed, 31 May 2017 13:39:23 +0200 Improved literate programming

WIP on row types

2017-05-25T16:23:37Z

commit ed51b52842da5db311aff065816f81499e5be307 parent a4af75f594b6958f21fd8dda187cb650cc1f5f46 Author: Georges Dupéron Date: Thu, 25 May 2017 18:23:37 +0200 WIP on row types

Cleanup, separated the list-of-indices-to-tree generation code, so that it can be re-used in other macros.

2017-05-22T02:44:24Z

commit a4af75f594b6958f21fd8dda187cb650cc1f5f46 parent cfbcbafe922f8f763536a46586c54bd93820e8b5 Author: Georges Dupéron Date: Mon, 22 May 2017 04:44:24 +0200 Cleanup, separated the list-of-indices-to-tree generation code, so that it can be re-used in other macros.

Switched to ꩜ character, fixed a typo

2017-05-20T13:22:39Z

commit cfbcbafe922f8f763536a46586c54bd93820e8b5 parent d211bd115429deb37c49a2c7f1e3f191641727fc Author: Georges Dupéron Date: Sat, 20 May 2017 15:22:39 +0200 Switched to ꩜ character, fixed a typo

Put type within the use of define-pure/stateless

2017-05-20T00:46:06Z

commit d211bd115429deb37c49a2c7f1e3f191641727fc parent bf9d5b2328c7d52c7ea1bed6c4b906ae35f73d65 Author: Georges Dupéron Date: Sat, 20 May 2017 02:46:06 +0200 Put type within the use of define-pure/stateless

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-18T13:10:33Z

commit bf9d5b2328c7d52c7ea1bed6c4b906ae35f73d65 parent 8f13786bf00a22abf92eb974b0f44f7de3bf776e Author: Georges Dupéron Date: Thu, 18 May 2017 15:10:33 +0200 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.

Implemented builder-f, cleanup.

2017-05-17T14:31:08Z

commit 8f13786bf00a22abf92eb974b0f44f7de3bf776e parent e3074a37e44095c74b9dc09d88111ad18e699285 Author: Georges Dupéron Date: Wed, 17 May 2017 16:31:08 +0200 Implemented builder-f, cleanup.

Writeup

2017-05-16T23:48:25Z

commit e3074a37e44095c74b9dc09d88111ad18e699285 parent 63e1a77ef1ae3ffa9ec253b6276339c956b42c87 Author: Georges Dupéron Date: Wed, 17 May 2017 01:48:25 +0200 Writeup

Moved examples for hyper-literate's added/removed/dimmed highlighting facility to the hyper-literate library.

2017-05-15T22:08:34Z

commit 63e1a77ef1ae3ffa9ec253b6276339c956b42c87 parent b7d00485adde28b5324d71995d9ef4a669430ab7 Author: Georges Dupéron Date: Tue, 16 May 2017 00:08:34 +0200 Moved examples for hyper-literate's added/removed/dimmed highlighting facility to the hyper-literate library.

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-15T22:08:01Z

commit b7d00485adde28b5324d71995d9ef4a669430ab7 parent 928084c3219a872bbde0f544ab1a0f0890decc02 Author: Georges Dupéron Date: Tue, 16 May 2017 00:08:01 +0200 Last versions of tests for hyper-literate's added/removed/dimmed highlighting facility. These examples will be moved to the hyper-literate library.

added/removed/original higlighting

2017-05-15T00:59:15Z

commit 928084c3219a872bbde0f544ab1a0f0890decc02 parent 6221a5db83d7ea37dfb7399a57ae7c2273980ec5 Author: Georges Dupéron Date: Mon, 15 May 2017 02:59:15 +0200 added/removed/original higlighting

Implementation for a version of the poly constructor

2017-05-14T01:50:35Z

commit 6221a5db83d7ea37dfb7399a57ae7c2273980ec5 parent 5cc510ebf6cb194411211e24b1cfc3b10d87df57 Author: Georges Dupéron Date: Sun, 14 May 2017 03:50:35 +0200 Implementation for a version of the poly constructor

WIP

2017-05-14T00:24:45Z

commit 5cc510ebf6cb194411211e24b1cfc3b10d87df57 parent 36d6630906017ec62c323059cba4eca459e59096 Author: Georges Dupéron Date: Sun, 14 May 2017 02:24:45 +0200 WIP

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-12T20:05:20Z

commit 36d6630906017ec62c323059cba4eca459e59096 parent fc7e1552ee990251bb81f05a49c8a8a77fa91dbe Author: Georges Dupéron Date: Fri, 12 May 2017 22:05:20 +0200 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

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-12T16:40:44Z

commit fc7e1552ee990251bb81f05a49c8a8a77fa91dbe parent 8ff2a1d267e0d529e19fcdb16c56bb8040ed2555 Author: Georges Dupéron Date: Fri, 12 May 2017 18:40:44 +0200 Fixed flexible-with-generalized-ctor.hl.rkt, but TR does not refine the intersections after an (inst f τ …), or after applying a ∀ type.

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-11T23:08:02Z

commit 8ff2a1d267e0d529e19fcdb16c56bb8040ed2555 parent b6043def446124c9a21de2ea45bdfcfbf33fddcd Author: Georges Dupéron Date: Fri, 12 May 2017 01:08:02 +0200 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

Draft now compiles again.

2017-05-03T10:57:41Z

commit b6043def446124c9a21de2ea45bdfcfbf33fddcd parent 0977529e6bf476b7ce4f20dd8665cffb314110ae Author: Georges Dupéron Date: Wed, 3 May 2017 12:57:41 +0200 Draft now compiles again.

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-28T13:35:48Z

commit 0977529e6bf476b7ce4f20dd8665cffb314110ae parent 35fe2e31f48bd9c58c859606ba9b6936d8375736 Author: Georges Dupéron Date: Fri, 28 Apr 2017 15:35:48 +0200 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.

WIP on the graph draft

2017-04-27T00:02:56Z

commit 35fe2e31f48bd9c58c859606ba9b6936d8375736 parent eb2aed91c1b1bc28d2fd7f15c8abd9d4d4d06217 Author: Georges Dupéron Date: Thu, 27 Apr 2017 02:02:56 +0200 WIP on the graph draft

Draft of the main graph generation macro.

2017-04-26T00:24:00Z

commit eb2aed91c1b1bc28d2fd7f15c8abd9d4d4d06217 parent c46d371e027a02c4a79db5d919af788cd9c156f3 Author: Georges Dupéron Date: Wed, 26 Apr 2017 02:24:00 +0200 Draft of the main graph generation macro.

Use dotlambda's λ. notation instead of #λ.

2017-04-26T00:22:57Z

commit c46d371e027a02c4a79db5d919af788cd9c156f3 parent 37120eec9cd6fddbcab46a42d84598e5afa3b958 Author: Georges Dupéron Date: Wed, 26 Apr 2017 02:22:57 +0200 Use dotlambda's λ. notation instead of #λ.

Closes #62: Encoding of relations as types (≡, ∈, = length, < length)

2017-04-11T20:06:16Z

commit 37120eec9cd6fddbcab46a42d84598e5afa3b958 parent 839bec824c902524003f0b52eb31226f5537ad7f Author: Georges Dupéron Date: Tue, 11 Apr 2017 22:06:16 +0200 Closes #62: Encoding of relations as types (≡, ∈, = length, < length)

WIP on #62: Encoding of relations as types (≡, ∈, = length, < length) — finished most of the type-level encoding, fixed tests

2017-04-11T12:06:35Z

commit 839bec824c902524003f0b52eb31226f5537ad7f parent 2ab2701789c894e8e55382c4a13b809fcd31cdc9 Author: Georges Dupéron Date: Tue, 11 Apr 2017 14:06:35 +0200 WIP on #62: Encoding of relations as types (≡, ∈, = length, < length) — finished most of the type-level encoding, fixed tests

WIP on #62: Encoding of relations as types (≡, ∈, = length, < length)

2017-04-06T19:44:17Z

commit 2ab2701789c894e8e55382c4a13b809fcd31cdc9 parent 540e8a24b7841c6f6abd472d62ac3cd4e8d7b986 Author: Georges Dupéron Date: Thu, 6 Apr 2017 21:44:17 +0200 WIP on #62: Encoding of relations as types (≡, ∈, = length, < length)

Added an extra test.

2017-04-06T14:10:19Z

commit 540e8a24b7841c6f6abd472d62ac3cd4e8d7b986 parent 36ae2e8080168e0dbd937be4e82a16d24161f26e Author: Georges Dupéron Date: Thu, 6 Apr 2017 16:10:19 +0200 Added an extra test.

Cleaned up tests

2017-04-06T08:40:37Z

commit 36ae2e8080168e0dbd937be4e82a16d24161f26e parent a0d682cb6ce9986108cddad36a313e3b4cde92a2 Author: Georges Dupéron Date: Thu, 6 Apr 2017 10:40:37 +0200 Cleaned up tests

Fixed some bugs with the encoding of paths

2017-04-06T07:07:13Z

commit a0d682cb6ce9986108cddad36a313e3b4cde92a2 parent 359c22cb8c725788d49085fc44c40686fa2b1079 Author: Georges Dupéron Date: Thu, 6 Apr 2017 09:07:13 +0200 Fixed some bugs with the encoding of paths

Drafter the transformation of paths into types.

2017-04-05T13:46:01Z

commit 359c22cb8c725788d49085fc44c40686fa2b1079 parent 32379533ede0640a0d78c8c9b8c17c977214b61e Author: Georges Dupéron Date: Wed, 5 Apr 2017 15:46:01 +0200 Drafter the transformation of paths into types.

Wrote parser for paths

2017-04-03T17:24:47Z

commit 32379533ede0640a0d78c8c9b8c17c977214b61e parent 120746442e8bafa0d7e2ec588058e14bf176d2bf Author: Georges Dupéron Date: Mon, 3 Apr 2017 19:24:47 +0200 Wrote parser for paths

Explanations on paths

2017-04-01T22:17:33Z

commit 120746442e8bafa0d7e2ec588058e14bf176d2bf parent acb444f88f3ae78cd58e0892c95b173b8e613071 Author: Georges Dupéron Date: Sun, 2 Apr 2017 00:17:33 +0200 Explanations on paths

Work on invariants.

2017-04-01T21:43:36Z

commit acb444f88f3ae78cd58e0892c95b173b8e613071 parent 6c9a7a95d955d65d40e4bf72a44d57b02a526261 Author: Georges Dupéron Date: Sat, 1 Apr 2017 23:43:36 +0200 Work on invariants.

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-26T22:39:02Z

commit 6c9a7a95d955d65d40e4bf72a44d57b02a526261 parent 2c2190a9f62f1271f57b7234f71c7d14af37b094 Author: Georges Dupéron Date: Mon, 27 Mar 2017 00:39:02 +0200 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.)

Added key for auto-push

2017-03-21T23:26:27Z

commit 2c2190a9f62f1271f57b7234f71c7d14af37b094 parent 3922fd117f8719480a39034f4ca1a3a91e04db9b Author: Georges Dupéron Date: Wed, 22 Mar 2017 00:26:27 +0100 Added key for auto-push

make the openssl line easier to substitue (move the decrypted file to its destination after the command, not as part of it)

2017-03-21T23:24:54Z

commit 3922fd117f8719480a39034f4ca1a3a91e04db9b parent 0d36df9c1a25381897329b07d1dca9f28481410f Author: Georges Dupéron Date: Wed, 22 Mar 2017 00:24:54 +0100 make the openssl line easier to substitue (move the decrypted file to its destination after the command, not as part of it)

Auto-push to master successful builds on the dev branch.

2017-03-21T23:04:28Z

commit 0d36df9c1a25381897329b07d1dca9f28481410f parent 4be3059060e17b6b1734212c6d1c5bcd31999290 Author: Georges Dupéron Date: Wed, 22 Mar 2017 00:04:28 +0100 Auto-push to master successful builds on the dev branch.

Added a few notes to the .vue file

2017-03-20T15:13:36Z

commit 4be3059060e17b6b1734212c6d1c5bcd31999290 parent dad01aa11892d405a1b2af77c573f03f34b960bd Author: Georges Dupéron Date: Mon, 20 Mar 2017 16:13:36 +0100 Added a few notes to the .vue file

Small bug fixes in traversal.hl.rkt and free-identifier-tree-equal.rkt

2017-03-20T15:11:01Z

commit dad01aa11892d405a1b2af77c573f03f34b960bd parent 9814513b479407e4dffb8e18a71fc8d20b164bd8 Author: Georges Dupéron Date: Mon, 20 Mar 2017 16:11:01 +0100 Small bug fixes in traversal.hl.rkt and free-identifier-tree-equal.rkt

More cleanup

2017-02-06T05:55:29Z

commit 9814513b479407e4dffb8e18a71fc8d20b164bd8 parent 72261decc4f6a59293d0a82b441a9caf6433ae1d Author: Georges Dupéron Date: Mon, 6 Feb 2017 06:55:29 +0100 More cleanup

Cleanup of traversal.hl.rkt (still needs a lot of prose)

2017-02-05T20:20:07Z

commit 72261decc4f6a59293d0a82b441a9caf6433ae1d parent 22f3d97185bbed080c335df1105f912b215a9b4f Author: Georges Dupéron Date: Sun, 5 Feb 2017 21:20:07 +0100 Cleanup of traversal.hl.rkt (still needs a lot of prose)

Cosmetic changes in traversal.hl.rkt

2017-02-04T01:44:23Z

commit 22f3d97185bbed080c335df1105f912b215a9b4f parent 18a8938d0cc4f16da5314c75c1af7d92425a8fdd Author: Georges Dupéron Date: Sat, 4 Feb 2017 02:44:23 +0100 Cosmetic changes in traversal.hl.rkt

Closes FB case 190 Rename λ-replace-in-instance to !λ-replace-in-instance

2017-01-26T20:20:51Z

commit 18a8938d0cc4f16da5314c75c1af7d92425a8fdd parent 8bf23152819d75676d534c462fd0abd18c7997a3 Author: Georges Dupéron Date: Thu, 26 Jan 2017 21:20:51 +0100 Closes FB case 190 Rename λ-replace-in-instance to !λ-replace-in-instance

Closes FB case 189 Switch phc-graph to the packaged subtemplate

2017-01-26T18:32:06Z

commit 8bf23152819d75676d534c462fd0abd18c7997a3 parent 39e703b12798cb03b8d24bec551296a88efea29b Author: Georges Dupéron Date: Thu, 26 Jan 2017 19:32:06 +0100 Closes FB case 189 Switch phc-graph to the packaged subtemplate

Timing info on test-graph-type.

2017-01-26T16:18:28Z

commit 39e703b12798cb03b8d24bec551296a88efea29b parent f500dfcb1a32acb7b7caea4941e2c7c07540417d Author: Georges Dupéron Date: Thu, 26 Jan 2017 17:18:28 +0100 Timing info on test-graph-type.

Improvements on subtemplate

2017-01-22T04:05:25Z

commit f500dfcb1a32acb7b7caea4941e2c7c07540417d parent 693ab9e84e6e2ad0890128dff21bde4445d9fc51 Author: Georges Dupéron Date: Sun, 22 Jan 2017 05:05:25 +0100 Improvements on subtemplate

Closes FB case 176 Fix the type of nodes for (non-)polymorphic graph types

2017-01-20T17:28:33Z

commit 693ab9e84e6e2ad0890128dff21bde4445d9fc51 parent 7991ed7d7ecf65ccd8ddf0218ff2be7de2e786eb Author: Georges Dupéron Date: Fri, 20 Jan 2017 18:28:33 +0100 Closes FB case 176 Fix the type of nodes for (non-)polymorphic graph types

Added missing require

2017-01-20T15:31:22Z

commit 7991ed7d7ecf65ccd8ddf0218ff2be7de2e786eb parent 4589fdff69eeb5e31ac8219552006d0113492670 Author: Georges Dupéron Date: Fri, 20 Jan 2017 16:31:22 +0100 Added missing require

Closes FB case 169 invariant-info should override equality because it is used in a set-equal? and contains syntax objects

2017-01-20T15:04:40Z

commit 4589fdff69eeb5e31ac8219552006d0113492670 parent d2f93d9ae630a13349f23247bcbac6fd76a50b02 Author: Georges Dupéron Date: Fri, 20 Jan 2017 16:04:40 +0100 Closes FB case 169 invariant-info should override equality because it is used in a set-equal? and contains syntax objects

Use master branch of phc-toolkit, phc-adt and type-expander

2017-01-20T14:24:20Z

commit d2f93d9ae630a13349f23247bcbac6fd76a50b02 parent 6989b4f3398c48e2a8eb59cfd367952116e313fe Author: Georges Dupéron Date: Fri, 20 Jan 2017 15:24:20 +0100 Use master branch of phc-toolkit, phc-adt and type-expander

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-20T14:18:32Z

commit 6989b4f3398c48e2a8eb59cfd367952116e313fe parent 2de609c523da5a9bf17c08e94d0f14a520387e61 Author: Georges Dupéron Date: Fri, 20 Jan 2017 15:18:32 +0100 Closes FB case 168 Don't use /top-loc in graph-info, as the macro and its use are within the same file

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-19T23:28:47Z

commit 2de609c523da5a9bf17c08e94d0f14a520387e61 parent 411c386bb189ab5924d81951ef03bf8438c71bc5 Author: Georges Dupéron Date: Fri, 20 Jan 2017 00:28:47 +0100 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

Closes FB case #165 Use syntax? instead of identifier? in the graph-info types

2017-01-19T13:48:49Z

commit 411c386bb189ab5924d81951ef03bf8438c71bc5 parent c896df5666c9e27160336311df99ab1588702608 Author: Georges Dupéron Date: Thu, 19 Jan 2017 14:48:49 +0100 Closes FB case #165 Use syntax? instead of identifier? in the graph-info types

Closes FB case #166 Check that the contracts for graph-info are flat

2017-01-19T13:26:20Z

commit c896df5666c9e27160336311df99ab1588702608 parent 21a98135ec83ad811b9fc167c76339a3630910af Author: Georges Dupéron Date: Thu, 19 Jan 2017 14:26:20 +0100 Closes FB case #166 Check that the contracts for graph-info are flat

Cleanup

2017-01-18T10:44:07Z

commit 21a98135ec83ad811b9fc167c76339a3630910af parent dc449fae4d75723505d0c4af2318f1a71f9ba556 Author: Georges Dupéron Date: Wed, 18 Jan 2017 11:44:07 +0100 Cleanup

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-18T03:45:04Z

commit dc449fae4d75723505d0c4af2318f1a71f9ba556 parent f615ae243bb146ca90072abbfc2d11cc19da49a1 Author: Georges Dupéron Date: Wed, 18 Jan 2017 04:45:04 +0100 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.

Fixed storage of graph-info

2017-01-18T03:11:41Z

commit f615ae243bb146ca90072abbfc2d11cc19da49a1 parent 00c5471830ada9e0223843a498816d226c69fef7 Author: Georges Dupéron Date: Wed, 18 Jan 2017 04:11:41 +0100 Fixed storage of graph-info

Found source of the "ill-formed code (unexpected graph structure)" error (https://github.com/racket/racket/issues/1580)

2017-01-18T02:37:42Z

commit 00c5471830ada9e0223843a498816d226c69fef7 parent 3caeea4d9ff979113fd5f0acad7889c726f912af Author: Georges Dupéron Date: Wed, 18 Jan 2017 03:37:42 +0100 Found source of the "ill-formed code (unexpected graph structure)" error (https://github.com/racket/racket/issues/1580)

Fixed 3D syntax issues by using prefabs.

2017-01-18T01:27:11Z

commit 3caeea4d9ff979113fd5f0acad7889c726f912af parent 32ac4188a64a2c15d8f34b264a8b673cae67103e Author: Georges Dupéron Date: Wed, 18 Jan 2017 02:27:11 +0100 Fixed 3D syntax issues by using prefabs.

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-17T23:25:06Z

commit 32ac4188a64a2c15d8f34b264a8b673cae67103e parent c3bfafb92768725edde91f20af027dddfce6d668 Author: Georges Dupéron Date: Wed, 18 Jan 2017 00:25:06 +0100 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

Remove output so that Travis build succeeds.

2017-01-17T23:23:53Z

commit c3bfafb92768725edde91f20af027dddfce6d668 parent 7a264197ea829b39a28af47e005b127408e5de86 Author: Georges Dupéron Date: Wed, 18 Jan 2017 00:23:53 +0100 Remove output so that Travis build succeeds.

Re-enable building HEAD with Travis

2017-01-17T23:01:26Z

commit 7a264197ea829b39a28af47e005b127408e5de86 parent 2b74c85f83598fc08a3861486c737847b21dd979 Author: Georges Dupéron Date: Wed, 18 Jan 2017 00:01:26 +0100 Re-enable building HEAD with Travis

Revert "Attempt to fix build on Travis"

2017-01-17T23:01:23Z

commit 2b74c85f83598fc08a3861486c737847b21dd979 parent 4ad59206eb2d46317b6899fe48879294924f8578 Author: Georges Dupéron Date: Wed, 18 Jan 2017 00:01:23 +0100 Revert "Attempt to fix build on Travis" This reverts commit 4ad59206eb2d46317b6899fe48879294924f8578.

Attempt to fix build on Travis

2017-01-17T23:00:19Z

commit 4ad59206eb2d46317b6899fe48879294924f8578 parent 1ef7613daaa7157b47f22234c44d00f6f3a01e05 Author: Georges Dupéron Date: Wed, 18 Jan 2017 00:00:19 +0100 Attempt to fix build on Travis

Got printing of the graph-info working

2017-01-17T22:03:41Z

commit 1ef7613daaa7157b47f22234c44d00f6f3a01e05 parent bd04ef6262b2875351519ef899e8795408ee15b4 Author: Georges Dupéron Date: Tue, 17 Jan 2017 23:03:41 +0100 Got printing of the graph-info working

Printing bug when printing the set.

2017-01-17T18:12:51Z

commit bd04ef6262b2875351519ef899e8795408ee15b4 parent fb1786b4ac5f94f1fa9f0607ec2fb004be0419dd Author: Georges Dupéron Date: Tue, 17 Jan 2017 19:12:51 +0100 Printing bug when printing the set.

More work on the invariants

2017-01-16T02:11:16Z

commit fb1786b4ac5f94f1fa9f0607ec2fb004be0419dd parent b7c2babf85ad636ff5b73c50a4e4bc953788ab11 Author: Georges Dupéron Date: Mon, 16 Jan 2017 03:11:16 +0100 More work on the invariants

Preliminary tests to compare stronger and weaker sets of predicates (for now just super/sub-set)

2017-01-10T22:02:17Z

commit b7c2babf85ad636ff5b73c50a4e4bc953788ab11 parent 64d1756678c158c16345574cb1407672f2e28d17 Author: Georges Dupéron Date: Tue, 10 Jan 2017 23:02:17 +0100 Preliminary tests to compare stronger and weaker sets of predicates (for now just super/sub-set)

Started drafting the ≡ invariant representation as a type

2017-01-09T18:44:21Z

commit 64d1756678c158c16345574cb1407672f2e28d17 parent aceb9e71f3582a83bfcfca5df1d763da8486cba3 Author: Georges Dupéron Date: Mon, 9 Jan 2017 19:44:21 +0100 Started drafting the ≡ invariant representation as a type

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-06T18:05:24Z

commit aceb9e71f3582a83bfcfca5df1d763da8486cba3 parent ff4c9e2403355e42ed227366dedf02ca70d116ba Author: Georges Dupéron Date: Fri, 6 Jan 2017 19:05:24 +0100 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.

Added 6.7 in Travis build

2017-01-04T19:24:32Z

commit ff4c9e2403355e42ed227366dedf02ca70d116ba parent 3edaaf91f81956b13bb76feb5f605843c1284e1d Author: Georges Dupéron Date: Wed, 4 Jan 2017 20:24:32 +0100 Added 6.7 in Travis build

Rough solutions for refinement types as witnesses of run-time checks

2017-01-04T18:50:02Z

commit 3edaaf91f81956b13bb76feb5f605843c1284e1d parent e951c7b26f0e1ef3f523d47f4ca39cb46ca0050c Author: Georges Dupéron Date: Wed, 4 Jan 2017 19:50:02 +0100 Rough solutions for refinement types as witnesses of run-time checks

Started writing on phantom types as witnesses for invariants

2017-01-01T20:03:03Z

commit e951c7b26f0e1ef3f523d47f4ca39cb46ca0050c parent 48bc1ed2f926c45f01eb781c97e4fd94682908cd Author: Georges Dupéron Date: Sun, 1 Jan 2017 21:03:03 +0100 Started writing on phantom types as witnesses for invariants

More optimisation.

2016-12-30T03:12:52Z

commit 48bc1ed2f926c45f01eb781c97e4fd94682908cd parent e9255ca439636f2a5c6e48a22c79a5cb7b207369 Author: Georges Dupéron Date: Fri, 30 Dec 2016 04:12:52 +0100 More optimisation.

Started writing phantom invariants representation, optimized flex records.

2016-12-30T01:25:20Z

commit e9255ca439636f2a5c6e48a22c79a5cb7b207369 parent de1f11dbf78f6e0a5be97fe6370028747d62f1d0 Author: Georges Dupéron Date: Fri, 30 Dec 2016 02:25:20 +0100 Started writing phantom invariants representation, optimized flex records.

Switched flex records from thunks to delay/pure/stateless promises

2016-12-28T16:41:09Z

commit de1f11dbf78f6e0a5be97fe6370028747d62f1d0 parent 78e503757513c73bdee574b9e3b9634612340af3 Author: Georges Dupéron Date: Wed, 28 Dec 2016 17:41:09 +0100 Switched flex records from thunks to delay/pure/stateless promises

Field deletion in flex structs, stronger type (actually checks whether fields are present or not), tests

2016-12-28T01:17:24Z

commit 78e503757513c73bdee574b9e3b9634612340af3 parent f353f105973d0e0eb54f4e2defcf98afca461e09 Author: Georges Dupéron Date: Wed, 28 Dec 2016 02:17:24 +0100 Field deletion in flex structs, stronger type (actually checks whether fields are present or not), tests

Fixed rendering issues with Scribble

2016-12-27T18:18:54Z

commit f353f105973d0e0eb54f4e2defcf98afca461e09 parent 5aae1459db05186b24e89e80daabfc981989b4c6 Author: Georges Dupéron Date: Tue, 27 Dec 2016 19:18:54 +0100 Fixed rendering issues with Scribble

.

2016-12-22T22:13:24Z

commit 5aae1459db05186b24e89e80daabfc981989b4c6 parent d7c41fabe6149d0206fc24aa0a38a84ce2c14604 Author: Georges Dupéron Date: Thu, 22 Dec 2016 23:13:24 +0100 .

.

2016-12-22T18:54:17Z

commit d7c41fabe6149d0206fc24aa0a38a84ce2c14604 parent de81a122d34814e04f27a38cbed8fbd728f9f782 Author: Georges Dupéron Date: Thu, 22 Dec 2016 19:54:17 +0100 .

.

2016-12-22T18:16:09Z

commit de81a122d34814e04f27a38cbed8fbd728f9f782 parent cf790f66005d06994cfaa9115e4a52b12a4e7d7b Author: Georges Dupéron Date: Thu, 22 Dec 2016 19:16:09 +0100 .

Migrated some files from the old graph implementation

2016-12-22T17:58:57Z

commit cf790f66005d06994cfaa9115e4a52b12a4e7d7b parent 263a48521d068896e7363e861db123a76ccf6734 Author: Georges Dupéron Date: Thu, 22 Dec 2016 18:58:57 +0100 Migrated some files from the old graph implementation

Working draft of a flexible implementation of (with tagged-instance [field val] …)

2016-12-22T17:57:59Z

commit 263a48521d068896e7363e861db123a76ccf6734 parent 72873d5d26bec71be300a073ce6909b71c8d9d47 Author: Georges Dupéron Date: Thu, 22 Dec 2016 18:57:59 +0100 Working draft of a flexible implementation of (with tagged-instance [field val] …)

Old mindmap files

2016-12-16T16:34:25Z

commit 72873d5d26bec71be300a073ce6909b71c8d9d47 parent 7bc0b8035631920489f81e15033acb759349be96 Author: Georges Dupéron Date: Fri, 16 Dec 2016 17:34:25 +0100 Old mindmap files

notes

2016-12-16T16:34:06Z

commit 7bc0b8035631920489f81e15033acb759349be96 parent 60f8915c59dda3618b23497ef5fbf4081adbf47a Author: Georges Dupéron Date: Fri, 16 Dec 2016 17:34:06 +0100 notes

Changes to mindmap

2016-12-16T16:33:43Z

commit 60f8915c59dda3618b23497ef5fbf4081adbf47a parent 609b658d961bf793550bb9f931ae3a432f754662 Author: Georges Dupéron Date: Fri, 16 Dec 2016 17:33:43 +0100 Changes to mindmap

Changes to mindmap

2016-12-16T16:33:39Z

commit 609b658d961bf793550bb9f931ae3a432f754662 parent 3458175b0c0ff5b4d547fe92321e3272c801e98b Author: Georges Dupéron Date: Fri, 16 Dec 2016 17:33:39 +0100 Changes to mindmap

Cleanup

2016-11-10T16:57:12Z

commit 3458175b0c0ff5b4d547fe92321e3272c801e98b parent 4b9d7cba226f0df93cf9e283443d61324749cd67 Author: Georges Dupéron Date: Thu, 10 Nov 2016 17:57:12 +0100 Cleanup

Attempt to make it work without metafunctions, but I think it's going to be difficult to use

2016-11-10T16:37:16Z

commit 4b9d7cba226f0df93cf9e283443d61324749cd67 parent a103d48aaf2a88c085fd5effa68c4f221c2aadd9 Author: Georges Dupéron Date: Thu, 10 Nov 2016 17:37:16 +0100 Attempt to make it work without metafunctions, but I think it's going to be difficult to use

Used backport-template-pr1514

2016-11-10T16:45:15Z

commit a103d48aaf2a88c085fd5effa68c4f221c2aadd9 parent 75703ac93337ce91f7cf335f1349741fb5a66e38 Author: Georges Dupéron Date: Thu, 10 Nov 2016 17:45:15 +0100 Used backport-template-pr1514

Cleanup

2016-11-05T01:55:12Z

commit 75703ac93337ce91f7cf335f1349741fb5a66e38 parent f36c90a27b54e49d517cf9c185911fac5ab9c919 Author: Georges Dupéron Date: Sat, 5 Nov 2016 02:55:12 +0100 Cleanup

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-05T01:53:18Z

commit f36c90a27b54e49d517cf9c185911fac5ab9c919 parent 38c9c7b7d6d03e9928c0019f7607cea1510d8d63 Author: Georges Dupéron Date: Sat, 5 Nov 2016 02:53:18 +0100 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.

First metafunction works, with a bit of a hack to remove the annoying scope.

2016-11-05T01:46:09Z

commit 38c9c7b7d6d03e9928c0019f7607cea1510d8d63 parent d4167fe4e4a4596bbdd3ef35440238679e6c1af5 Author: Georges Dupéron Date: Sat, 5 Nov 2016 02:46:09 +0100 First metafunction works, with a bit of a hack to remove the annoying scope.

Renamed subtemplate and quasisubtemplate as #' and #` for conciseness

2016-11-04T22:48:16Z

commit d4167fe4e4a4596bbdd3ef35440238679e6c1af5 parent 37d6ba92ea35833de54eaaada0400f93e842fc4c Author: Georges Dupéron Date: Fri, 4 Nov 2016 23:48:16 +0100 Renamed subtemplate and quasisubtemplate as #' and #` for conciseness

Needs cleanup, but works!

2016-11-04T22:30:49Z

commit 37d6ba92ea35833de54eaaada0400f93e842fc4c parent 4eecd1def812591eb599abb8de2409ff66323954 Author: Georges Dupéron Date: Fri, 4 Nov 2016 23:30:49 +0100 Needs cleanup, but works!

WIP: have to separate function definition from its type with :, due to recursive functions.

2016-11-04T21:38:14Z

commit 4eecd1def812591eb599abb8de2409ff66323954 parent b083acd41a08f9b6adac631d527a7a9b8495c6f8 Author: Georges Dupéron Date: Fri, 4 Nov 2016 22:38:14 +0100 WIP: have to separate function definition from its type with :, due to recursive functions.

TR-bug

2016-11-04T18:19:35Z

commit b083acd41a08f9b6adac631d527a7a9b8495c6f8 parent 88b31299fbeedb9e70542d177476fa2407a5f346 Author: Georges Dupéron Date: Fri, 4 Nov 2016 19:19:35 +0100 TR-bug