1. 06 Nov, 2007 1 commit
  2. 19 Oct, 2007 1 commit
  3. 10 Oct, 2007 1 commit
  4. 27 May, 2007 1 commit
  5. 10 Apr, 2007 2 commits
  6. 05 Apr, 2007 1 commit
  7. 24 Mar, 2007 1 commit
  8. 06 Mar, 2007 1 commit
  9. 05 Mar, 2007 1 commit
  10. 04 Mar, 2007 1 commit
  11. 03 Jan, 2007 1 commit
  12. 23 Dec, 2006 1 commit
  13. 15 Dec, 2006 1 commit
  14. 08 Sep, 2006 1 commit
  15. 07 Sep, 2006 1 commit
  16. 05 Sep, 2006 1 commit
  17. 08 Aug, 2006 1 commit
  18. 22 Jun, 2006 1 commit
  19. 14 Apr, 2006 1 commit
  20. 30 Nov, 2005 1 commit
  21. 12 Nov, 2005 1 commit
  22. 02 Nov, 2005 1 commit
  23. 26 Oct, 2005 1 commit
  24. 12 Jul, 2005 1 commit
  25. 05 Jul, 2005 1 commit
  26. 19 May, 2005 1 commit
  27. 06 May, 2005 1 commit
  28. 31 Jan, 2005 1 commit
  29. 23 Dec, 2004 1 commit
  30. 18 Nov, 2004 1 commit
  31. 09 Nov, 2004 1 commit
  32. 09 Sep, 2004 1 commit
  33. 22 Jun, 2004 1 commit
  34. 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
  35. 15 Jan, 2004 1 commit
  36. 06 Nov, 2003 1 commit
    • 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
  37. 30 Oct, 2003 1 commit
  38. 29 Oct, 2003 1 commit
  39. 10 Sep, 2003 1 commit