Compiler: Class Definition/Instance Kind Checking - #62

Draft

cstml wants to merge 11 commits into

mainfrom

compiler/class-instance-checking

Commits on Mar 1, 2023

dummy:
cstml
committed
c752048
new: infoless monad instance
cstml
committed
231d81f

Commits on Mar 2, 2023

update: some minor refactoring
cstml
committed
46fe3b9
wip: scaffolded the error
cstml
committed
ad073e5

Commits on Mar 6, 2023

update: integrate new errors
cstml
committed
d5f8ff9
new: add error handling
cstml
committed
f392aeb

Commits on Mar 7, 2023

bugfix: Fix Constraint's kinds
cstml
committed
d45446a
update: trivial instances
cstml
committed
40aaa87
note: add fixme note.
cstml
committed
574bbcb

Commits on Mar 8, 2023

update: passing test?
cstml
committed
5a2d9fe
update: Variable logic in instances
cstml
committed
708fee5