[project @ 2003-11-04 13:15:20 by simonpj]
[ghc-hetmet.git] / ghc / compiler / typecheck / TcSplice.lhs
index 45d071c..7dda60c 100644 (file)
@@ -96,6 +96,11 @@ tcBracket brack res_ty
     }
 
 tc_bracket :: HsBracket Name -> TcM TcType
+tc_bracket (ExpBr v) 
+  = panic "tc_bracket" 
+--    tcMetaTy varTyConName
+       -- Result type is Var (not Q-monadic)
+
 tc_bracket (ExpBr expr) 
   = newTyVarTy openTypeKind    `thenM` \ any_ty ->
     tcCheckRho expr any_ty     `thenM_`