suzanne.soy/phc-graph
1
0
Fork 0
Code Issues 24 Pull Requests Actions Packages Projects Releases Wiki Activity

Commit Graph

  • 75703ac933 Cleanup Georges Dupéron 2016-11-05 02:55:12 +0100
  • 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. Georges Dupéron 2016-11-05 02:53:18 +0100
  • 38c9c7b7d6 First metafunction works, with a bit of a hack to remove the annoying scope. Georges Dupéron 2016-11-05 02:46:09 +0100
  • d4167fe4e4 Renamed subtemplate and quasisubtemplate as #' and #` for conciseness Georges Dupéron 2016-11-04 23:48:16 +0100
  • 37d6ba92ea Needs cleanup, but works! Georges Dupéron 2016-11-04 23:30:49 +0100
  • 4eecd1def8 WIP: have to separate function definition from its type with :, due to recursive functions. Georges Dupéron 2016-11-04 22:38:14 +0100
  • b083acd41a TR-bug Georges Dupéron 2016-11-04 19:19:35 +0100
  • 88b31299fb Problem with local-expand and definitions. TODO: convert fold-τ and fold-f into for-syntax functions, instead of being a type expander and macro. Georges Dupéron 2016-11-04 17:38:13 +0100
  • cf23417f1f Partial rewrite of traversal.hl.rkt, ready to add the caching mechanism. Georges Dupéron 2016-11-04 02:30:51 +0100
  • 3b33c3676a Removed duplicate dependency on phc-adt Georges Dupéron 2016-10-11 01:56:31 +0200
  • 16438869f2 Fixed #%plain-app vs #%app and #%plain-lambda vs lambda issue in fully-expanded-grammar.rkt Georges Dupéron 2016-10-11 01:55:22 +0200
  • 742322a427 Use path within git repository for phc-adt dependency. Georges Dupéron 2016-10-11 00:55:31 +0200
  • 3ae5e6bdaa Remove -x option on raco test in .travis.yml, so that all modules are run, including those without a test submodule. Georges Dupéron 2016-10-11 00:23:46 +0200
  • dd21c82c85 Added tests for different orders of types in the union for traversal.hl.rkt Georges Dupéron 2016-10-08 17:19:26 +0200
  • 3eecf3796e Hopefully fixed order of union elements in the cond Georges Dupéron 2016-10-08 14:53:20 +0200
  • de8508f3ce Added support for type-to-replaceᵢ directly within a union. Georges Dupéron 2016-10-08 03:10:04 +0200
  • dc11b3014e dispatch-union seems to work Georges Dupéron 2016-10-07 22:42:20 +0200
  • 74c707b65d Small fix on traversal of unions (doesn't work yet). Georges Dupéron 2016-10-07 13:43:25 +0200
  • a486dc81f7 Ported traversal code to use subtemplate, fixed scope issue with subtemplate Georges Dupéron 2016-10-07 13:42:00 +0200
  • 897c4ed99d Finished tests for subtemplate Georges Dupéron 2016-10-07 11:58:33 +0200
  • 9f738e12e5 Arrows for subtemplate derived ids work in DrRacket Georges Dupéron 2016-10-07 04:46:06 +0200
  • 60e567af3b Depend on the #dev versions of the phc-adt and phc-toolkit, for faster build cycles Georges Dupéron 2016-10-06 17:35:23 +0200
  • 59d1d268a8 Tests for subtemplate Georges Dupéron 2016-10-06 17:30:15 +0200
  • 6921eb0e67 Hopefully fixed scope issues with subtemplate Georges Dupéron 2016-10-06 16:56:19 +0200
  • 29bf4ef88a WIP. Georges Dupéron 2016-10-06 14:25:46 +0200
  • f4adf61aba WIP Georges Dupéron 2016-10-06 02:02:23 +0200
  • 41013e5ef4 Nearly finished subtemplate. Georges Dupéron 2016-10-05 18:54:43 +0200
  • 88102c7263 Union of two tagged structures works Georges Dupéron 2016-10-04 13:23:37 +0200
  • 4862573453 Preliminary support for tagged structures, early draft for unions Georges Dupéron 2016-10-03 23:55:26 +0200
  • 4cc991e751 Cosmetic changes on the literate program Georges Dupéron 2016-10-03 03:38:46 +0200
  • 922d50d02f Added tests for more complex to-replace types. Georges Dupéron 2016-10-03 03:34:04 +0200
  • 95c156717c First draft for define-fold, all tests pass. Georges Dupéron 2016-10-03 03:25:20 +0200
  • 4c84b1625d Run Travis on 2 threads only, to avoid OOM when compiling phc-adt. Added and used check-equal?-values: form. Georges Dupéron 2016-10-03 01:29:53 +0200
  • 49b3287758 Use full URL for th phc-adt dependency, as the catalogs did not get updated yet. Georges Dupéron 2016-10-03 01:03:56 +0200
  • 1f395775ce Build the hyper-literate document. Georges Dupéron 2016-10-02 23:48:49 +0200
  • f3ea5a4929 Started describing define-fold Georges Dupéron 2016-10-02 21:25:24 +0200
  • e66684c070 Removed from Travis build the Racket versions which are not compatible with phc-adt. Georges Dupéron 2016-10-02 03:58:27 +0200
  • 1995dae967 Added some basic dependencies Georges Dupéron 2016-10-02 03:57:53 +0200
  • 9a09370594 raco pkg new phc-graph Georges Dupéron 2016-08-17 14:09:56 +0200