← Back to branch summary

~ubuntu-branches/ubuntu/precise/ghc/precise

« back to all changes in this revision

Viewing changes to compiler/typecheck/FamInst.lhs

  • Committer: Bazaar Package Importer
  • Author(s): Joachim Breitner
  • Date: 2011-03-05 22:04:21 UTC
  • mfrom: (1.1.1 upstream)
  • Revision ID: james.westby@ubuntu.com-20110305220421-tlgewlvboj02iinp
Tags: 7.0.2-1
http://bugs.debian.org/554174
* (Closes: 554174) Segfaults at startup not observable any more
* Tweak debian/copyright 
* New upstream release (Should help to close 616494)

Show diffs side-by-side

added added

removed removed

Lines of Context:
compiler/typecheck/FamInst.lhs
178
178
                -- We use tcInstSkolType because we don't want to allocate
179
179
                -- fresh *meta* type variables.  
180
180
 
181
 
       ; skol_tvs <- tcInstSkolTyVars FamInstSkol 
182
 
                                      (tyConTyVars (famInstTyCon famInst))
 
181
       ; skol_tvs <- tcInstSkolTyVars (tyConTyVars (famInstTyCon famInst))
183
182
       ; let conflicts = lookupFamInstEnvConflicts inst_envs famInst skol_tvs
184
183
       ; unless (null conflicts) $
185
184
           conflictInstErr famInst (fst (head conflicts))