Skip to content
Snippets Groups Projects
  1. Jun 12, 2007
    • Ian Lynagh's avatar
      Tweak banner printing · cedd4187
      Ian Lynagh authored
      * -{short,long}-ghci-banner are now dynamic options, so you can put
        ":set -short-ghci-banner" in .ghci
      * The -v2 banner information now always tells you what compiler booted GHC,
        and what stage the compiler is. Thus we no longer assume that stage > 1
        iff GHCI is defined.
      2007-06-12
      cedd4187
  2. Jun 01, 2007
  3. Jun 09, 2007
  4. Jun 05, 2007
  5. Jun 04, 2007
  6. Jun 02, 2007
  7. Jun 01, 2007
  8. May 31, 2007
    • Ian Lynagh's avatar
      Rework the build system a bit · 430453c5
      Ian Lynagh authored
      Key changes:
      * Always build as if BIN_DIST is 1. BIN_DIST is thus removed.
      * Libraries are configured with prefix set to $$topdir rather than $(prefix)
      430453c5
  9. May 30, 2007
  10. Jun 12, 2007
  11. May 18, 2007
  12. Jun 09, 2007
  13. Jun 08, 2007
    • AndyGill's avatar
      7a77f1b7
    • chak@cse.unsw.edu.au.'s avatar
      Fix worker/wrapper ids for newtype instances · ef0ef4cc
      chak@cse.unsw.edu.au. authored
      - mkDataConIds forced an algebraic worker/wrapper on newtype instances (not
        on vanilla newtypes).  I am not sure where this came from (from code I
        wrote or from the recent restructuring of MkIds), but its not the right
        thing to do.  In particular, it requires newtype instances to have con_info
        labels in the generated code, which makes no sense.
      - Worker construction for newtypes is smart enough that it will construct the
        right signature for newtype instances (ie, one that mentions the family
        type constructor, not the instance tycon).
      ef0ef4cc
    • chak@cse.unsw.edu.au.'s avatar
      Fix deriving of indexed data types · 39dca315
      chak@cse.unsw.edu.au. authored
      - Fix typo introduced when moving deriving-specific code from TcEnv to TcDeriv
      - Thanks to Roman for the bug report
      39dca315
  14. Jun 07, 2007
  15. Jun 06, 2007
    • Simon Peyton Jones's avatar
      Don't suggest -fno-monomorphism-restriction if it's already set · ffe3d0b6
      Simon Peyton Jones authored
      This patch implements the suggestion in Trac #1398.  It's obviously
      stupid to suggest -fno-monomorphism-restriction if the user is already
      using it.  
      
      (Maybe another suggestion would be good, but this one clearly bogus.)
      ffe3d0b6
    • Simon Peyton Jones's avatar
      Remove unnecessary free-variables from renamer · 3c4a732b
      Simon Peyton Jones authored
      The renamer used to be responsible for making sure that all interfaces
      with instance decls (other than orphans) were loaded.  But TH makes that
      impossible, so the typechecker does it, via checkWiredInTyCon.
      
      This patch simply removes redundant additions to the free-variable set
      in the renamer, which were there, I believe, solely to ensure that the 
      instances came in.  Removing them should change nothing, but it's a 
      useful clean up.
      3c4a732b
    • Simon Peyton Jones's avatar
      FIX #1385: make sure tuple instances are loaded · f750bec7
      Simon Peyton Jones authored
      Typechecking of explicit tuples is done "by hand" (rather than using
      boxySplitTyConApp) so that rigidity is maintained.  In making that change
      I'd forgotten to retain the call to checkWiredInTyCon, which is important
      to make sure instances are brought into scope.
      
      Test is tc227.
      
      f750bec7
  16. Jun 05, 2007
Loading