1. 11 May, 2009 1 commit
  2. 08 May, 2009 1 commit
  3. 12 May, 2009 1 commit
    • simonpj@microsoft.com's avatar
      Improve error messages for type functions · da2e18b9
      simonpj@microsoft.com authored
      Following a suggestion of Claus Reinke, this patch improves the error
      messages involving type functions.  Here's the relevant note from TcTyFuns.
      
      Note [Non-injective type functions]
      ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
      It's very confusing to get a message like
           Couldn't match expected type `Depend s'
                  against inferred type `Depend s1'
      so pp_open_tc adds:
             NB: `Depend' is a (non-injective) type function
      
      Currently we add this independently for each argument, so we also get
           Couldn't match expected type `a'
                  against inferred type `Dual (Dual a)'
             NB: `Dual' is a (non-injective) type function
      which is arguably redundant.  But on the other hand, it's probably
      a good idea for the programmer to know the error involves type functions
      so I've left it in for now.  The obvious alternative is to only add
      this NB in the case of matching (T ...) ~ (T ...). 
      da2e18b9
  4. 11 May, 2009 3 commits
  5. 08 May, 2009 2 commits
  6. 05 May, 2009 2 commits
  7. 01 May, 2009 1 commit
  8. 09 May, 2009 3 commits
  9. 08 May, 2009 4 commits
  10. 07 May, 2009 4 commits
  11. 06 May, 2009 1 commit
  12. 05 May, 2009 1 commit
    • Ian Lynagh's avatar
      Simplify utils/pwd · 9000c679
      Ian Lynagh authored
      We only need the forwardslash mode now, so always use that mode and
      don't accept any arguments.
      9000c679
  13. 04 May, 2009 6 commits
  14. 03 May, 2009 8 commits
  15. 02 May, 2009 1 commit
  16. 01 May, 2009 1 commit