1. 22 Jun, 2006 1 commit
  2. 14 Apr, 2006 1 commit
  3. 23 Feb, 2006 3 commits
  4. 06 Jan, 2006 1 commit
  5. 05 Dec, 2005 2 commits
  6. 30 Nov, 2005 1 commit
  7. 12 Nov, 2005 1 commit
  8. 02 Nov, 2005 3 commits
  9. 26 Oct, 2005 1 commit
  10. 18 Jul, 2005 1 commit
  11. 12 Jul, 2005 1 commit
  12. 05 Jul, 2005 1 commit
  13. 19 May, 2005 1 commit
  14. 06 May, 2005 1 commit
  15. 07 Feb, 2005 1 commit
  16. 31 Jan, 2005 1 commit
  17. 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
  18. 18 Nov, 2004 1 commit
  19. 09 Nov, 2004 1 commit
  20. 06 Nov, 2004 1 commit
  21. 01 Oct, 2004 1 commit
  22. 09 Sep, 2004 1 commit
  23. 22 Jun, 2004 1 commit
  24. 21 Jun, 2004 2 commits
  25. 01 Jun, 2004 1 commit
    • igloo's avatar
      [project @ 2004-06-01 23:22:33 by igloo] · f07f8197
      igloo authored
      Add missing functions to TH export list (mostly spotted by Duncan Coutts).
      
      Update TH test output.
      
      Add TH support for patterns with type signatures, and test for same
      (requested by Isaac Jones).
      
      Add TH support for pattern guards, and tests for same
      (requested by Isaac Jones).
      
      Add infix patterns to TH datatypes.
      
      Added Lift instances for 2- to 7-tuples (requested by Duncan Coutts).
      f07f8197
  26. 15 Jan, 2004 1 commit
  27. 06 Nov, 2003 4 commits
    • simonpj's avatar
      [project @ 2003-11-06 17:22:36 by simonpj] · 205eef16
      simonpj authored
      update output; add an (incomplete) error test
      205eef16
    • simonpj's avatar
      [project @ 2003-11-06 17:14:30 by simonpj] · 36042a4f
      simonpj authored
      Add another TH test
      36042a4f
    • simonpj's avatar
      [project @ 2003-11-06 17:09:59 by simonpj] · 5ed4d1e2
      simonpj authored
      ------------------------------------
      	Major increment for Template Haskell
      	------------------------------------
      
      1.  New abstract data type "Name" which appears where String used to be.
          E.g. 	data Exp = VarE Name | ...
      
      2.  New syntax 'x and ''T, for quoting Names.  It's rather like [| x |]
          and [t| T |] respectively, except that
      
      	a) it's non-monadic:  'x :: Name
      	b) you get a Name not an Exp or Type
      
      3.  reify is an ordinary function
      	reify :: Name -> Q Info
          New data type Info which tells what TH knows about Name
      
      4.  Local variables work properly.  So this works now (crashed before):
      	f x = $( [| x |] )
      
      5.  THSyntax is split up into three modules:
      
        Language.Haskell.TH		TH "clients" import this
      
        Language.Haskell.TH.THSyntax	data type declarations and internal stuff
      
        Language.Haskell.TH.THLib	Support library code (all re-exported
      				by TH), including smart constructors and
      				pretty printer
      
      6.  Error reporting and recovery are in (not yet well tested)
      
      	report :: Bool {- True <=> fatal -} -> String -> Q ()
      	recover :: Q a -> Q a -> Q a
      
      7.  Can find current module
      
      	currentModule :: Q String
      
      
      Much other cleaning up, needless to say.
      5ed4d1e2
    • simonmar's avatar
      [project @ 2003-11-06 10:12:19 by simonmar] · efd7221c
      simonmar authored
      wibble
      efd7221c
  28. 05 Nov, 2003 1 commit
  29. 30 Oct, 2003 1 commit
  30. 29 Oct, 2003 1 commit