level dec doesn't work?

alhassy / next-700-module-systems

PhD research ;; What's the difference between a typeclass/trait and a record/class/struct? Nothing really, or so I argue.

GNU General Public License v3.0

81 stars 6 forks source link

Closed JacquesCarette closed 5 years ago

JacquesCarette commented 5 years ago

The second example, of level dec, in section 2.4 of the document doesn't seem to actually do what it is documented to do.

alhassy commented 5 years ago

This is an error due to outdated resulting matter;; issue tackled in commit 449156d19786802379a2acffd885bff351c3581c