search

cucapra / packet-scheduling

MIT License
3 stars 0 forks source link

Flatten all the way through, and simplify a helper #42

Closed anshumanmohan closed 4 months ago

anshumanmohan commented 4 months ago

This is a quick little PR that picks up a couple loose threads and simplifies a helper.

  1. We flattened the AST and massaged away ADTs that only had one constructor, but this also meant that we needed to stop expecting those constructors and just expect the payloads instead. Maybe that had already been done but had gone away during a merge.
  2. Our file-parsing mechanism had gone away! Definitely happened during a merge.
  3. I found a way to simplify a piece of OCaml but I realized this a little too late and the relevant PR (#37) had already closed!