Skip to content

Fix incorrect typecheck for typeclasses

Kai Prott requested to merge incorrect_typeclass_tc into master

When a typeclass was not imported from the original module, looking up the type of any class method would fail.

All tests passed.

Also removes some whitespace.

Merge request reports