:kind or :type? - Githubissues

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

:kind or :type? #7

Closed JacquesCarette closed 5 years ago

JacquesCarette commented 5 years ago

The meta-primitive is listed as being called :kind, but the first example in section 2.3 uses :type. Are the examples in this web page live or fake? Or is :type undocumented? Or something else altogether?

alhassy commented 5 years ago

It is decidedly :kind; issue tackled in commit 449156d19786802379a2acffd885bff351c3581c