Use entries function in readback

pikelet-lang / pikelet

A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧

https://pikelet-lang.github.io/pikelet/

Apache License 2.0

610 stars 26 forks source link

Closed brendanzab closed 4 years ago

brendanzab commented 4 years ago

Missed these places when I added the RecordTypeClosure::entries function in #203.