Commit 64fddcbe authored by simonpj@microsoft.com's avatar simonpj@microsoft.com
Browse files

Wibble to type signature

parent ae51217d
......@@ -98,7 +98,7 @@ tcPats ctxt pats tys res_ty thing_inside
-----------------
tcPat :: PatCtxt
-> LPat Name -> TcType
-> LPat Name -> BoxySigmaType
-> BoxyRhoType -- Result type
-> (BoxyRhoType -> TcM a) -- Checker for body, given its result type
-> TcM (LPat TcId, a)
......
Markdown is supported
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