1. 15 Jan, 2005 1 commit
  2. 14 Jan, 2005 1 commit
  3. 13 Jan, 2005 1 commit
  4. 12 Jan, 2005 1 commit
  5. 11 Jan, 2005 1 commit
  6. 10 Jan, 2005 1 commit
  7. 07 Jan, 2005 3 commits
  8. 06 Jan, 2005 1 commit
  9. 04 Jan, 2005 4 commits
  10. 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
  11. 22 Dec, 2004 1 commit
  12. 21 Dec, 2004 1 commit
  13. 20 Dec, 2004 1 commit
  14. 17 Dec, 2004 1 commit
  15. 15 Dec, 2004 2 commits
  16. 13 Dec, 2004 3 commits
  17. 09 Dec, 2004 3 commits
  18. 08 Dec, 2004 1 commit
  19. 06 Dec, 2004 3 commits
  20. 03 Dec, 2004 2 commits
  21. 23 Nov, 2004 1 commit
  22. 19 Nov, 2004 2 commits
  23. 18 Nov, 2004 3 commits