Compiler cannot resolve Union typeclass

Help
#1

Hi,

I have a piece of code that does something provided one halogen slots type given extends the other. But when I try to use it, I get an error:

No type class instance was found for
  
    Prim.Row.Union slots2
                   t3
                   ( subMenu :: Slot Query action4 Int
                   | slots2
                   )

I’d say that it should resolve t3 ~ ( subMenu :: Slot Query action4 Int ) and we’re done. Am I missing something here?

It comes from the call site of a function

extendHTMLSlots
  :: forall action slots slots' m
   . Union slots _ slots'
  => H.ComponentHTML action slots m
  -> H.ComponentHTML action slots' m
extendHTMLSlots = unsafeCoerce
1 Like