suzanne.soy/type-expander
1
0
Fork 0
Code Issues 8 Pull Requests Actions Packages Projects Releases Wiki Activity

Commit Graph

  • 9fbbe96f97
         Merge pull request #13 from capfredf/fix-types main Suzanne Soy 2021-11-11 09:24:55 +0000
  • a56777e97c change polymorphic types to type constructors #13 Fred Fu 2021-11-05 13:39:24 -0400
  • b182b94220 Renamed main branch dev Suzanne Soy 2021-04-04 07:23:09 +0100
  • f754518682 Changed my name :) Suzanne Soy 2021-03-04 20:38:13 +0000
  • 22f9c45115 Updated Racket versions in .travis.yml Georges Dupéron 2019-04-24 22:45:41 +0200
  • de31adc4f0
         Merge pull request #12 from AlexKnauth/patch-1 Georges Dupéron 2019-04-04 18:47:15 +0200
  • 6482fb0049
         check tvars are ids before using free-identifier=? #12 Alex Knauth 2019-04-03 16:03:48 -0400
  • 215036e059 Updated maintenance badge for 2018 Georges Dupéron 2018-01-27 13:24:03 +0100
  • 0916162928 Skip test-contracts-to-types on 6.4, there seems to be a problem (and I don't really want to try to find out what it is, as it works with later versions). Georges Dupéron 2017-05-10 16:36:24 +0200
  • 9b6857d1a8 Updated badges (use new website badge) Georges Dupéron 2017-05-06 18:07:03 +0200
  • 8ff2ab2530 Support functions of two arguments as type expanders (so that they can access the prop:type-expander? struct instance itself). Provided prop:type-expander? and prop-type-expander-ref Georges Dupéron 2017-05-06 18:03:41 +0200
  • f4ed90dd26 Bugfix: for some reason #lang type-expander/lang stopped to work after replacing the lang.rkt symlink, to fix #11. Georges Dupéron 2017-05-05 14:36:15 +0200
  • 534de53a29 Fixes #1: Install fails on Windows because lang.rkt is a symbol link. Georges Dupéron 2017-05-05 14:31:57 +0200
  • 84e1f15e5b Typo, again Georges Dupéron 2017-05-05 03:44:50 +0200
  • 56f58a1ddf Typo Georges Dupéron 2017-05-05 03:38:58 +0200
  • cbd0addb8e Small improvements to contract→type Georges Dupéron 2017-05-05 03:34:17 +0200
  • dcfb3ff987 Improved contract→type Georges Dupéron 2017-05-05 03:30:42 +0200
  • c89285f39b Added contract→type Georges Dupéron 2017-05-04 23:02:13 +0200
  • 41f7dc0f50 Squashed commits. Georges Dupéron 2017-04-27 22:54:34 +0200
  • fb484502ba Migrate lib/ to jsmaniac/phc-toolkit project: removed lib/… files. fork-from-github-jsmaniac-phc Georges Dupéron 2016-04-05 13:08:54 +0200
  • f5433ff093 Migrate lib/ to jsmaniac/phc-toolkit project: Use phc-toolkit instead of lib/… Georges Dupéron 2016-04-05 13:04:23 +0200
  • a46a7c852a Merge branch 'graph-rich-return' Georges Dupéron 2016-04-04 22:02:10 +0200
  • 91d0ce1447 Temporarily disable raco cover as it goes Out Of Memory on travis-ci :-( . Georges Dupéron 2016-04-04 21:47:16 +0200
  • b011a804c6 Fixed tests, cleanup, fixed missing (provide (for-syntax racket/base)) in #lang lib.rkt Georges Dupéron 2016-04-04 20:15:19 +0200
  • 30a78bdaa3 General cleanup and API cleanup for graph-6-rich-returns.lp2.rkt Georges Dupéron 2016-04-04 18:49:18 +0200
  • cd150cf2b3 Part 3 of inline-instance-top works! Georges Dupéron 2016-04-04 15:44:52 +0200
  • d175d154c3 Part 2 of inline-instance-top Georges Dupéron 2016-04-04 12:50:01 +0200
  • f2a43904b5 Part 1 of inline-instance-top (with correct return type) Georges Dupéron 2016-04-03 17:13:13 +0200
  • 9124c39c0d Part 1 of inline-instance-top (unfinished, the return type is Any). Georges Dupéron 2016-04-03 02:39:34 +0200
  • 9e428b80c8 Added link to build stats in README. Georges Dupéron 2016-04-01 11:47:42 +0200
  • 20802f257f Uncommited changes. Georges Dupéron 2016-03-31 18:36:01 +0200
  • e9c3fbf8e5 Cleanup. Georges Dupéron 2016-03-25 18:59:10 +0100
  • 2982e49e6e Fixed bug with rich-returns, the procedure generated by inline-instance* had the wrong return type. Georges Dupéron 2016-03-25 18:38:05 +0100
  • 4271af2839 Merge branch 'graph-rich-return' of github.com:jsmaniac/phc into graph-rich-return Georges Dupéron 2016-03-24 18:22:18 +0100
  • fd654fa36d Added #:roots option to graph.lp2.rkt, for returning multiple (possibly disconnected) roots. Georges Dupéron 2016-03-24 18:16:23 +0100
  • fada7a82bd Fix build due to division by zero bug in raco cover (issue #118). Georges Dupéron 2016-03-23 17:48:09 +0100
  • e6ff012973 Moved tests to separate files (part 2). Georges Dupéron 2016-03-23 17:00:00 +0100
  • 4daa2bb86a Moved tests to separate files (part 1). Georges Dupéron 2016-03-22 22:59:20 +0100
  • 069109b76f Removed initialization of debug-syntax, which doesn't work in headless environments like travis-ci. Georges Dupéron 2016-03-22 22:03:27 +0100
  • e4ade5da29 Added missing dependency Georges Dupéron 2016-03-22 19:11:21 +0100
  • 192dd991a6 Added missing dependency Georges Dupéron 2016-03-22 19:02:59 +0100
  • c70b36609c Fixed compilation errors. Commented out tests that don't pass due to FB case 137. Georges Dupéron 2016-03-22 18:53:26 +0100
  • 6324e1862b Fixed compilation errors. Georges Dupéron 2016-03-22 16:26:27 +0100
  • c905501b70 Fixed compilation errors. Georges Dupéron 2016-03-22 13:55:03 +0100
  • 3516d1aac8 Fixed bug due to improper implementation of #:?, FB case #107. Georges Dupéron 2016-03-22 13:33:45 +0100
  • 4d73b476d3 Started documenting ADTs Georges Dupéron 2016-03-22 13:20:34 +0100
  • 1c691be00a Started documenting how rich-returns works. Georges Dupéron 2016-03-22 13:20:17 +0100
  • 929f16ee1c WIP on FB case 133 Allow returning both promises for and the actual type in the first pass of rich-returns Georges Dupéron 2016-03-18 18:23:00 +0100
  • af5b9bcfea Debugging define-graph/rich-returns. Georges Dupéron 2016-03-18 00:10:26 +0100
  • e17c026a9d Added uniform-get, fixed most uses of the new constructor representation. Georges Dupéron 2016-03-16 15:48:43 +0100
  • 26256a09b9 WIP on FB case 128 Georges Dupéron 2016-03-15 00:55:04 +0100
  • bb827ef193 Closes FB case 126 Write a define-private-constructor, in addition to define-private-tagged Georges Dupéron 2016-03-14 14:46:21 +0100
  • 1d16c55f50 Closes FB case 120 Use the unique variants in the graph declaration Georges Dupéron 2016-03-14 14:12:21 +0100
  • 7a643178be Closes FB case 125 Use define-private-tagged in graph.lp2.rkt for with-promises etc. nodes (the ones that shouldn't be seeable outside) Georges Dupéron 2016-03-12 15:11:51 +0100
  • 46b3785b47 Implements FB case 116 "Allow declaring private (i.e. unique) variants, which inherit the more general shared ones with the same tag" Georges Dupéron 2016-03-11 16:43:53 +0100
  • 7233cb85e9 Fixed FB case 117 Make variant use structs, instead of tagged lists. Georges Dupéron 2016-03-11 02:08:17 +0100
  • 5c7e49bebb Fixed arrow tracking in lib/low (wrong syntax/loc for the module's initial require form etc.) Georges Dupéron 2016-03-04 16:32:39 +0100
  • b601cf4498 Fixed more issues related to λ/syntax-parse. Georges Dupéron 2016-03-04 16:31:52 +0100
  • a0187b5136 Fixed issue with λ/syntax-parse, now we can use stx in the body to refer to the whole syntax object. Georges Dupéron 2016-03-04 16:10:31 +0100
  • 6d88845985 Writeup about the subtyping problems. Georges Dupéron 2016-03-03 18:35:51 +0100
  • 8862166793 WIP on rich-returns Georges Dupéron 2016-03-03 14:10:53 +0100
  • d38431aa71 Merge remote-tracking branch 'all/split-library' into graph-rich-return Georges Dupéron 2016-03-03 00:35:36 +0100
  • 2f7d57cee4 Cleaned up main.rkt Georges Dupéron 2016-03-03 00:33:38 +0100
  • f3a3b17a8b Removed typed/racket/no-check from the dependency graph. Georges Dupéron 2016-03-03 00:33:09 +0100
  • 6faaa1defe Make travis show the racket version. Georges Dupéron 2016-03-02 23:56:28 +0100
  • 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. Georges Dupéron 2016-03-02 23:52:01 +0100
  • eb0942a816 Fixed issues caused by splitting library. Georges Dupéron 2016-03-02 20:21:36 +0100
  • a91cc950cd Split library into many smaller files. Georges Dupéron 2016-03-02 18:12:17 +0100
  • 62a92b97a8 Use upstream version of raco cover. Georges Dupéron 2016-03-01 11:13:59 +0100
  • 2d1ef94acf Added pseudocode simple overview of the rich-return graph wrapper macro, as explained on http://stackoverflow.com/q/35652284/324969 . Georges Dupéron 2016-02-29 20:26:38 +0100
  • 0a532aa96e Added quasitemplate/debug to the library. Georges Dupéron 2016-02-29 20:26:17 +0100
  • 9457f05599 Fixed Xorg display problem with debug-syntax on travis-ci when running raco cover. Georges Dupéron 2016-02-29 02:46:13 +0100
  • 26470633c8 Fixed Xorg display problem with debug-syntax on travis-ci. Georges Dupéron 2016-02-27 00:32:35 +0100
  • 9ff224a73b Cleaned up. Georges Dupéron 2016-02-26 23:46:42 +0100
  • ac832b3157 Finally managed to make ~> work. Georges Dupéron 2016-02-26 23:31:39 +0100
  • ada994beb9 Revert "Problem on expansion step 10086 in __DEBUG_graph6.2.rkt : clicking on City9/make-placeholder-type:14 shows that it hasn't the same scopes afterwards.". Now at commit 876c4d2 Fixed most bugs related to ~> type expander. Georges Dupéron 2016-02-26 23:30:13 +0100
  • 9d68e98882 Revert "Fiasco with splicing-syntax-parameterize" Georges Dupéron 2016-02-26 23:30:12 +0100
  • e7b9e41c98 Revert "Notes about the various failures." Georges Dupéron 2016-02-26 23:30:11 +0100
  • 094fb14b00 Revert "Reverted old graph-6" Georges Dupéron 2016-02-26 23:30:10 +0100
  • 51b7571d2b Revert "More notes" Georges Dupéron 2016-02-26 23:30:06 +0100
  • 8a87411a04 More notes Georges Dupéron 2016-02-26 21:30:30 +0100
  • 8cff20856f Reverted old graph-6 Georges Dupéron 2016-02-26 21:28:02 +0100
  • 1743dd0e04 Notes about the various failures. Georges Dupéron 2016-02-26 21:21:13 +0100
  • f7b1db0e3c Fiasco with splicing-syntax-parameterize Georges Dupéron 2016-02-26 21:07:21 +0100
  • 56fdfaeb8f Problem on expansion step 10086 in __DEBUG_graph6.2.rkt : clicking on City9/make-placeholder-type:14 shows that it hasn't the same scopes afterwards. Georges Dupéron 2016-02-26 19:55:54 +0100
  • 876c4d272f Fixed most bugs related to ~> type expander Georges Dupéron 2016-02-26 00:42:34 +0100
  • e723dacc41 Bug in macro expander for __DEBUG_graph6.rkt, step 400. Georges Dupéron 2016-02-25 19:20:05 +0100
  • 1d0ce9fc03 Fixed case 101. Georges Dupéron 2016-02-25 17:12:52 +0100
  • 512356d1a6 WIP before solving Case 101. Georges Dupéron 2016-02-25 13:51:54 +0100
  • 713b637fbc WIP on rich return types. More complex than it seems. Georges Dupéron 2016-02-25 11:28:22 +0100
  • 575ea6bd98 Cleanup. Georges Dupéron 2016-02-24 19:51:45 +0100
  • f470d9f8dc Implemented simple version of let-type. Georges Dupéron 2016-02-24 19:49:21 +0100
  • 6eb0a52040 First attempt at let-type, using syntax-local-bind-syntaxes. Does not work. Georges Dupéron 2016-02-24 17:21:28 +0100
  • 03984dc0f6 WIP. Georges Dupéron 2016-02-24 00:35:19 +0100
  • 3d7441cef0 WIP. Georges Dupéron 2016-02-23 21:36:49 +0100
  • 9b08dd1191 WIP. Georges Dupéron 2016-02-23 19:22:28 +0100
  • 55955ca6c1 WIP. Georges Dupéron 2016-02-23 19:20:33 +0100
  • e1e58efef3 Removed dependency on my version of cover in .travis.yml. Georges Dupéron 2016-02-03 19:41:10 +0100
  • 7000b80a5d Cleanup, improved docs and coverage. Georges Dupéron 2016-02-03 19:09:49 +0100
  • 83d0287292 Switch to version of cover which fixes relative links. Georges Dupéron 2016-02-03 17:21:49 +0100