yellowsquid/chomp.git/src/lower, branch types [no description] http://git.yellowsquid.uk/yellowsquid/chomp.git/atom?h=types 2021-03-02T16:08:26Z 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 bug where all literals get an `Into<char>` implementation. 2021-02-03T14:29:23Z Greg Brown gmb60@cam.ac.uk 2021-02-03T14:29:23Z urn:sha1:f7ed797d859437677aa1a1fd1e3cb6f21ff78f5f Fix many warnings. 2021-01-21T17:45:02Z Greg Brown gmb60@cam.ac.uk 2021-01-21T09:42:02Z urn:sha1:1a93b1f82bc8c21d24e67031c5eca96830e928c7 Fix warnings in `lower`. 2021-01-16T12:45:24Z Greg Brown gmb60@cam.ac.uk 2021-01-16T12:19:50Z urn:sha1:795e7df2955c95d54445fd15d9dc37c6b290a068 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. Do more restructuring. 2021-01-08T18:00:11Z Greg Brown gmb60@cam.ac.uk 2021-01-08T18:00:11Z urn:sha1:e1452227b8bd9ad3805480f8a5a66a75fb8370dd Add first steps of AutoChomp 2021-01-07T12:44:06Z Greg Brown gmb60@cam.ac.uk 2021-01-07T12:44:06Z urn:sha1:fe2eac31d9dbec772796c3ea75be32e9cd01b810 Create Chewed, the consumer crate. 2021-01-06T16:36:46Z Greg Brown gmb60@cam.ac.uk 2021-01-06T16:36:46Z urn:sha1:eb280a903f8f20d0b0c0ef5acae955a20929d100 Restructure code base to separate compilation phases. 2021-01-06T14:56:11Z Greg Brown gmb60@cam.ac.uk 2021-01-06T14:56:11Z urn:sha1:dc10a278cca74d737e4af0fe034a1caa8abb291d