search

ollef / sixten

Functional programming with fewer indirections
BSD 3-Clause "New" or "Revised" License
759 stars 26 forks source link

Move class desugaring to type-checker #109

Closed ollef closed 6 years ago

ollef commented 6 years ago

Class desugaring is currently done before type-checking, in the Declassify module, which means that we have too limited information to do certain things. See e.g. #55. We should do the desugaring after type-checking instead.

ollef commented 6 years ago

Done in #116.