[project @ 1996-04-30 17:34:02 by partain]

[ghc-hetmet.git] / ghc / compiler / typecheck / TcBinds.lhs

diff --git a/ghc/compiler/typecheck/TcBinds.lhs b/ghc/compiler/typecheck/TcBinds.lhs
index 88667f0..4d4a1ad 100644 (file)
--- a/ghc/compiler/typecheck/TcBinds.lhs
+++ b/ghc/compiler/typecheck/TcBinds.lhs
@@ -249,6 +249,10 @@ data SigInfo
                        `thenTc` \ (tyvars_not_to_gen, tyvars_to_gen, lie_to_gen) ->
 
 
+       *** CHECK FOR UNBOXED TYVARS HERE! ***
+
+
+
        -- Make poly_ids for all the binders that don't have type signatures
     let
        tys_to_gen   = mkTyVarTys tyvars_to_gen