yellowsquid/chomp.git/src, 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 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 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 Fix warnings in `lower`. 2021-01-16T12:45:24Z Greg Brown gmb60@cam.ac.uk 2021-01-16T12:19:50Z urn:sha1:795e7df2955c95d54445fd15d9dc37c6b290a068 Finish AutoChomp 2021-01-14T14:37:27Z Greg Brown gmb60@cam.ac.uk 2021-01-14T14:37:27Z urn:sha1:24ff5f311f6c797681be1cff0fb2d0b75c0f848f