Commit bd8a952b authored by's avatar
Browse files


parent 369d62ba
......@@ -33,7 +33,7 @@ module TcMType (
-- Instantiation
tcInstTyVar, tcInstType, tcInstTyVars, tcInstBoxyTyVar,
tcInstType, tcInstSigType,
tcInstSkolTyVars, tcInstSkolType,
tcSkolSigType, tcSkolSigTyVars, occurCheckErr, execTcTyVarBinds,
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment