1. 04 Feb, 2005 3 commits
  2. 03 Feb, 2005 1 commit
  3. 01 Feb, 2005 8 commits
  4. 31 Jan, 2005 4 commits
  5. 20 Jan, 2005 1 commit
  6. 17 Jan, 2005 1 commit
  7. 15 Jan, 2005 4 commits
  8. 14 Jan, 2005 1 commit
  9. 13 Jan, 2005 1 commit
  10. 12 Jan, 2005 1 commit
  11. 11 Jan, 2005 1 commit
  12. 10 Jan, 2005 1 commit
  13. 07 Jan, 2005 3 commits
  14. 06 Jan, 2005 1 commit
  15. 04 Jan, 2005 4 commits
  16. 23 Dec, 2004 2 commits
    • simonpj's avatar
      [project @ 2004-12-23 09:37:01 by simonpj] · c4592b62
      simonpj authored
      Add a test involving existentials
      c4592b62
    • simonpj's avatar
      [project @ 2004-12-23 09:07:39 by simonpj] · aaf9f205
      simonpj authored
      ---------------------------------
                Template Haskell: names again
        	---------------------------------
      
      On 2 Dec 04 I made this commit (1.58 in Convert.lhs)
      
          Fix a Template Haskell bug that meant that top-level names created
          with newName were not made properly unique.
      
      But that just introduced a new bug!  THe trouble is that names created by
      newName are NameUs; but I was *also* using NameU for names of free varaibles,
      such as the 'x' in the quoted code here
      	f x = $( g [| \y -> (x,y) |])
      
      But when converting to HsSyn, the x and y must be treated diffferently.
      The 'x' must convert to an Exact RdrName, so that it binds to the 'x' that's
      in the type environment; but the 'y' must generate a nice unique RdrName.
      
      So this commit adds NameL for the lexically-scoped bindings like 'x'.
      aaf9f205
  17. 22 Dec, 2004 1 commit
  18. 21 Dec, 2004 1 commit
  19. 20 Dec, 2004 1 commit