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

Comments only

parent 658e99a8
......@@ -173,6 +173,11 @@ tcValBinds top_lvl (ValBindsOut binds sigs) thing_inside
; sig_fn = mkSigFun ty_sigs }
; poly_ids <- mapM tcTySig ty_sigs
-- No recovery from bad signatures, because the type sigs
-- may bind type variables, so proceeding without them
-- can lead to a cascade of errors
-- ToDo: this means we fall over immediately if any type sig
-- is wrong, which is over-conservative, see Trac bug #745
-- Extend the envt right away with all
-- the Ids declared with type signatures
......
......@@ -390,7 +390,7 @@ runMeta convert expr
-- We also do the TH -> HS syntax conversion inside the same
-- exception-cacthing thing so that if there are any lurking
-- exceptions in the data structure returned by hval, we'll
-- encounter them inside the tryALlM
-- encounter them inside the try
either_tval <- tryAllM $ do
{ th_syn <- TH.runQ (unsafeCoerce# hval)
; case convert (getLoc expr) th_syn of
......
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