diff options
| author | Emilio Jesus Gallego Arias | 2017-01-23 18:17:09 +0100 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2017-02-07 14:31:38 +0100 |
| commit | 0fd7b204e9b74e12788a391e1e4fc2d61c4763fd (patch) | |
| tree | 05599a389db1b30322320762f6fa1070b5040ee1 /engine | |
| parent | 0a1c83768a6b0199afa1ad4fb633c9ede4a84d20 (diff) | |
Type cleanup in `Metasyntax`
Types were a bit difficult to read as they were mostly based on
anonymous products, this commit replaces them by named records and
refactors out some imperative code.
There is still quite a bit of room for improvement, but at least the
records provide a basis for more fine-grained understanding and
documentation.
Diffstat (limited to 'engine')
0 files changed, 0 insertions, 0 deletions