yellowsquid/chomp.git/src/chomp, branch types [no description] http://git.yellowsquid.uk/yellowsquid/chomp.git/atom?h=types 2021-04-09T10:08:22Z Make some progress, I guess 2021-04-09T10:08:22Z Greg Brown gmb60@cam.ac.uk 2021-04-09T10:08:22Z urn:sha1:c28601376e92bb1b1240b08ddbdfaa851daaa9cd Introduce function types. 2021-03-02T16:08:26Z Greg Brown gmb60@cam.ac.uk 2021-03-02T16:08:26Z urn:sha1:fa69e4edd87e3ec319ac4962c619b04e2203628e Function types are just functions from types to check-results. Nothing more than delayed computation. Efficiency will initially be no better than current. Caching results could help, but that's a future problem. An alternative approach is introducing constraints. That would be a bigger architectural change, with more complex processing. On the other hand, adding future extensions would be easier. Fix small bug with naming. 2021-02-17T14:29:45Z Greg Brown gmb60@cam.ac.uk 2021-02-17T14:29:45Z urn:sha1:1ab32a794c593b041801c8aac51edc353757b610 Fix many warnings. 2021-01-21T17:45:02Z Greg Brown gmb60@cam.ac.uk 2021-01-21T09:42:02Z urn:sha1:1a93b1f82bc8c21d24e67031c5eca96830e928c7 Remove usage of feature of proc_macro2. 2021-01-19T22:48:36Z Greg Brown gmb60@cam.ac.uk 2021-01-19T22:48:36Z urn:sha1:faa3f30deb32d0a1fd7cb196559762635b22ecfd Remove usage of `extra-traits` feature of syn. 2021-01-19T22:38:45Z Greg Brown gmb60@cam.ac.uk 2021-01-19T22:37:35Z urn:sha1:8f7a17e0f48e3586fae619be08351c6761b07596 Fix warnings in `chomp::ast`. 2021-01-16T12:45:31Z Greg Brown gmb60@cam.ac.uk 2021-01-16T12:35:13Z urn:sha1:a3ab765efe831505179a5966b5546509cb862717 Add labelled expressions. 2021-01-14T11:42:55Z Greg Brown gmb60@cam.ac.uk 2021-01-14T11:42:55Z urn:sha1:aac3549a72663c523a456b2f5d7c3b77f509cdd6 Restructure project (again). Convert `Cat` and `Alt` from binary to n+2-ary. Introduce chomp as a procedural macro. 2021-01-09T14:31:02Z Greg Brown gmb60@cam.ac.uk 2021-01-09T14:31:02Z urn:sha1:0d01692c97ea8ca6fc4b229e5b9678cb252bceda Add a bunch of tests. Fix chomp and chewed so autochomp compiles. Make all ast spans optional. 2021-01-09T11:53:21Z Greg Brown gmb60@cam.ac.uk 2021-01-09T11:53:21Z urn:sha1:487ce4fe0fa081f58d790d7d6417bf7d2659197c