diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2016-03-19 00:24:52 -0700 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2016-03-19 00:24:52 -0700 |
| commit | 1d1faace5d624b7bac96eb57a9373d2511ac08e1 (patch) | |
| tree | 674aadb7229e9bf6c5da55c09d1ac8a1af1693c0 /makefile | |
| parent | d15c554a51c77cf1eb736363a63dbd8b5e006d49 (diff) | |
| download | mu-1d1faace5d624b7bac96eb57a9373d2511ac08e1.tar.gz | |
2790
The issue alluded to in the previous 2789 is now fixed. I'm not happy with my solution, though. I pollute Type_ordinal with type ingredients in parse_type_tree and simply ignore such entries later on. I'd much rather avoid the pollution in the first place, but I'm not sure how to do that..
Diffstat (limited to 'makefile')
0 files changed, 0 insertions, 0 deletions