Georges Dupéron
|
929f16ee1c
|
WIP on FB case 133 Allow returning both promises for and the actual type in the first pass of rich-returns
|
2016-03-18 18:23:05 +01:00 |
|
Georges Dupéron
|
af5b9bcfea
|
Debugging define-graph/rich-returns.
|
2016-03-18 00:10:26 +01:00 |
|
Georges Dupéron
|
e17c026a9d
|
Added uniform-get, fixed most uses of the new constructor representation.
|
2016-03-16 15:48:43 +01:00 |
|
Georges Dupéron
|
26256a09b9
|
WIP on FB case 128
|
2016-03-15 00:55:04 +01:00 |
|
Georges Dupéron
|
46b3785b47
|
Implements FB case 116 "Allow declaring private (i.e. unique) variants, which inherit the more general shared ones with the same tag"
|
2016-03-11 16:54:31 +01:00 |
|
Georges Dupéron
|
5c7e49bebb
|
Fixed arrow tracking in lib/low (wrong syntax/loc for the module's initial require form etc.)
|
2016-03-04 16:32:39 +01:00 |
|
Georges Dupéron
|
b601cf4498
|
Fixed more issues related to λ/syntax-parse.
|
2016-03-04 16:31:52 +01:00 |
|
Georges Dupéron
|
a0187b5136
|
Fixed issue with λ/syntax-parse, now we can use stx in the body to refer to the whole syntax object.
|
2016-03-04 16:10:31 +01:00 |
|
Georges Dupéron
|
81ee130cd5
|
Circumvent raco make bug racket/typed-racket#292 "open-input-file: cannot open directory as a file": split the (require (submod ".." typed) (submod ".." untyped)) into two separate require forms.
|
2016-03-02 23:52:01 +01:00 |
|
Georges Dupéron
|
eb0942a816
|
Fixed issues caused by splitting library.
|
2016-03-02 20:21:36 +01:00 |
|
Georges Dupéron
|
a91cc950cd
|
Split library into many smaller files.
|
2016-03-02 18:12:17 +01:00 |
|
Georges Dupéron
|
0a532aa96e
|
Added quasitemplate/debug to the library.
|
2016-02-29 20:26:17 +01:00 |
|
Georges Dupéron
|
9457f05599
|
Fixed Xorg display problem with debug-syntax on travis-ci when running raco cover.
|
2016-02-29 02:46:13 +01:00 |
|
Georges Dupéron
|
26470633c8
|
Fixed Xorg display problem with debug-syntax on travis-ci.
|
2016-02-27 00:32:35 +01:00 |
|
Georges Dupéron
|
1d0ce9fc03
|
Fixed case 101.
|
2016-02-25 17:15:22 +01:00 |
|
Georges Dupéron
|
575ea6bd98
|
Cleanup.
|
2016-02-24 19:51:45 +01:00 |
|
Georges Dupéron
|
f470d9f8dc
|
Implemented simple version of let-type.
|
2016-02-24 19:49:21 +01:00 |
|
Georges Dupéron
|
55955ca6c1
|
WIP.
|
2016-02-23 19:20:33 +01:00 |
|
Georges Dupéron
|
5d0a390b61
|
Cleaned tests for FB case 94 (logn match on a predefined set of identifiers).
|
2016-02-03 17:07:26 +01:00 |
|
Georges Dupéron
|
895d11b30f
|
Implemented fb case 94: typed O(log n) match for a predefined set of tokens.
|
2016-02-03 16:54:22 +01:00 |
|
Georges Dupéron
|
4d911ef7d6
|
Finished implementing FB case 86 (Graph: Multiple constructors).
|
2016-02-02 21:38:09 +01:00 |
|
Georges Dupéron
|
75210b1209
|
Finished implementing FB case 95 (Allow choosing the root in the graph constructor)
|
2016-02-01 22:23:51 +01:00 |
|
Georges Dupéron
|
a619b731df
|
WIP on FB case 86 (Graph: Multiple constructors), rollback point for implementing FB case 95 (Allow choosing the root in the graph constructor)
|
2016-02-01 18:03:47 +01:00 |
|
Georges Dupéron
|
ddf034e3a2
|
Improved website.
|
2016-01-21 17:09:40 +01:00 |
|
Georges Dupéron
|
d49160b6ea
|
Fixed problem with typed/untyped stx-cons.
|
2016-01-20 21:34:02 +01:00 |
|
Georges Dupéron
|
832d1ed9cf
|
Added typed version of stx-cons.
|
2016-01-20 20:36:04 +01:00 |
|
Georges Dupéron
|
a0f71dc18a
|
Added dependency graph to documentation.
|
2016-01-20 17:35:52 +01:00 |
|
Georges Dupéron
|
47f0a3b573
|
Cleaned up tests
|
2016-01-17 22:47:17 +01:00 |
|
Georges Dupéron
|
4dd0a08dbf
|
Re-enabled tests in type-expander.lp2.rkt, and fixed check-equal?:, which was ignoring the : Type.
|
2016-01-16 00:54:32 +01:00 |
|
Georges Dupéron
|
c7e9308d56
|
Updated MathJax.
|
2016-01-15 15:55:26 +01:00 |
|
Georges Dupéron
|
c2ea10f1ab
|
Moved top-level graph/ folder to graph-lib, to avoid confusion.
|
2016-01-15 15:50:58 +01:00 |
|