| #
ca1d20c4 |
|
18-Oct-2020 |
Michael Norrish <michael.norrish@data61.csiro.au> |
Tweak ThmSetData API: take callbacks with more honest types
In particular, the callbacks are always only ever called on singleton
lists, so it seems silly to ask the user for functions with types that
have lists.
|
| #
1f867f17 |
|
10-Jan-2020 |
Michael Norrish <michael.norrish@data61.csiro.au> |
Optimise DefnBase.one_line_ify slightly in presence of many literals
|
| #
57b734c4 |
|
10-Jan-2020 |
Michael Norrish <michael.norrish@data61.csiro.au> |
More test-cases for DefnBase.one_line_ify and a bug fix
|
| #
b00e7326 |
|
10-Jan-2020 |
Michael Norrish <michael.norrish@data61.csiro.au> |
Make DefnBase.one_line_ify closer to robust
It passes all of its current test-cases
|
| #
361b2eed |
|
10-Jan-2020 |
Michael Norrish <michael.norrish@data61.csiro.au> |
Fix compilation error in DefnBase
|
| #
7bac59b5 |
|
10-Jan-2020 |
Michael Norrish <michael.norrish@data61.csiro.au> |
Move DefnBase to src/coretypes, make progress with one_line_ify
DefnBase is now home to the updated literal-decider conversion
|