Writing a subtype function
ihmeckler at gmail.com
Sun Feb 22 06:11:39 UTC 2015
I apologize if this isn’t the right place for this sort of question, but I’m at a loss as to how to use TcUnify.tcSubType. My goal is to write a function of type
Type -> Type -> Ghc Bool
which checks whether the first argument is a subtype of the second. I assume this is possible to do using TcUnify.tcSubType and runTcInteractive, but it’s not clear to me how. Any pointers here would be greatly appreciated.
More information about the ghc-devs