#
2d8bef7a |
|
18-Nov-2019 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Improve TypeBase API for reporting on record fields Datatype code now bypasses treatment of "big records". This stuff can all be deleted and I will be happy to see it go as it is horrifically complicated, and usually only serves to confuse users. Thanks to a CakeML Slack discussion for the push to make the API change.
|