Issue with exposition / example in 2.6

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

Issue with exposition / example in 2.6 #9

Closed JacquesCarette closed 5 years ago

JacquesCarette commented 5 years ago

I can't see any difference in the output of 𝒱-primed-attempt between 2.5 and 2.6. Most definitely no elision of repeated parts seem to be happening. Or maybe I'm expecting the wrong thing and the exposition is misleading me.

alhassy commented 5 years ago

There is intentionally no difference in resulting output;; issue tackled in commit 449156d19786802379a2acffd885bff351c3581c