logo       
Google Custom Search
    AddThis Social Bookmark Button
<prev   next>
-->

cvs commit: fptools/ghc/compiler/typecheck TcType.lhs: msg#00178

Subject: cvs commit: fptools/ghc/compiler/typecheck TcType.lhs 
simonpj     2004/03/17 00:54:20 PST

  Modified files:
    ghc/compiler/typecheck TcType.lhs 
  Log:
  Use sub-kind rather than kind-equality check in matchTys,
  just as we do in TcUnify.  This is someting I failed to
  do when shifting to the funky new kind representation.
  
  Revision  Changes    Path
  1.103     +4 -2      fptools/ghc/compiler/typecheck/TcType.lhs
<Prev in Thread] Current Thread [Next in Thread>
Previous by Date:  [nightly] 16-Mar-2004 build of HEAD on i386-unknown-linux (cam-02-unx.europe.corp.microsoft.com), v-julsew
Next by Date:  cvs commit: fptools/ghc/compiler/typecheck Inst.lhs TcSimplify.lhs, Simon Peyton Jones
Previous by Thread:  [nightly] 16-Mar-2004 build of HEAD on i386-unknown-linux (cam-02-unx.europe.corp.microsoft.com), v-julsew
Next by Thread:  cvs commit: fptools/ghc/compiler/typecheck Inst.lhs TcSimplify.lhs, Simon Peyton Jones
Indexes:  [Date] [Thread] [Top] [All Lists]

    ^^^ ADDITIONAL NAVIGATION ^^^

  
Google Custom Search

Recently Viewed:
user-groups.lin...    emacs.w3m/2002-...    db.postgresql.d...    yellowdog.gener...    gnome.evolution...    redhat.release....    java.servicemix...    text.doxygen.ge...    org.user-groups...    politics.oekonu...    misc.free-softw...    qnx.openqnx.dev...    netbsd.general/...    systems.sam-cou...    ietf.mipshop/20...    kde.extra-gear/...    xfce.user/2003-...    freebsd.italian...    altlinux.sysadm...    linux.hardware....    version-control...    bbc.general/200...    web.opera.gener...    horde.sork/2003...    culture.region....   
Home | blog view | USPTO Patent Archive (NEW!) | advertise | OSDir is an inevitable website. super tiny logo