Imported ids without signatures are still inferred.
[ghc.git] / compiler / typecheck / TcPatSyn.hs
index 791d604..3f3769d 100644 (file)
@@ -260,7 +260,7 @@ tcPatSynMatcher (L loc name) lpat
 
        ; let matcher_tau   = mkFunTys [pat_ty, cont_ty, fail_ty] res_ty
              matcher_sigma = mkSigmaTy (res_tv:univ_tvs) req_theta matcher_tau
-             matcher_id    = mkExportedLocalId VanillaId matcher_name matcher_sigma
+             matcher_id    = mkExportedLocalId (VanillaId HasSigId) matcher_name matcher_sigma
                              -- See Note [Exported LocalIds] in Id
 
              cont_dicts = map nlHsVar prov_dicts
@@ -333,7 +333,7 @@ mkPatSynBuilderId dir  (L _ name) qtvs theta arg_tys pat_ty
   | otherwise
   = do { builder_name <- newImplicitBinder name mkBuilderOcc
        ; let builder_sigma = mkSigmaTy qtvs theta (mkFunTys builder_arg_tys pat_ty)
-             builder_id    = mkExportedLocalId VanillaId builder_name builder_sigma
+             builder_id    = mkExportedLocalId (VanillaId HasSigId) builder_name builder_sigma
                              -- See Note [Exported LocalIds] in Id
        ; return (Just (builder_id, need_dummy_arg)) }
   where