categorifier icon indicating copy to clipboard operation
categorifier copied to clipboard
verified publisher icon con-kitty

support more coercions

Open zliu41 opened this issue 3 years ago • 0 comments

The plugin supports only a handful of coercions in categorizeFun. One in particular that crops up is AxiomInstCo.

So far, AxiomInstCo has always been the result of a type class that has a single method and no super-classes. There is a workaround for this case.

  1. make the type class "more complex" by either adding a dummy method or adding a super-class, like class EmptyClass a => SimpleClass a where ...
  2. include a comment referencing this ticket.

(Extricated from https://kitty-hawk.atlassian.net/browse/SW-3013)

zliu41 avatar Apr 15 '22 20:04 zliu41