1. 12 Jul, 2005 1 commit
  2. 05 Jul, 2005 1 commit
  3. 19 May, 2005 1 commit
  4. 06 May, 2005 1 commit
  5. 07 Feb, 2005 1 commit
  6. 31 Jan, 2005 1 commit
  7. 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
  8. 18 Nov, 2004 1 commit
  9. 09 Nov, 2004 1 commit
  10. 06 Nov, 2004 1 commit
  11. 01 Oct, 2004 1 commit
  12. 09 Sep, 2004 1 commit
  13. 22 Jun, 2004 1 commit
  14. 21 Jun, 2004 2 commits
  15. 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
  16. 15 Jan, 2004 1 commit
  17. 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
  18. 05 Nov, 2003 1 commit
  19. 30 Oct, 2003 1 commit
  20. 29 Oct, 2003 1 commit
  21. 10 Sep, 2003 1 commit
  22. 18 Jun, 2003 1 commit
  23. 08 Jun, 2003 1 commit
  24. 06 Jun, 2003 1 commit
  25. 21 May, 2003 2 commits
    • igloo's avatar
      [project @ 2003-05-21 18:07:30 by igloo] · 3a28b488
      igloo authored
      The Great Renaming. I hope I've kept everything in sync - and all the tests
      pass. Now datatypes follow the
      
      data Foo = <a kind of Foo>Foo
               | <another kind of Foo>Foo
      
      convention and the smart constructors can be uniformly created by
      lowercasing the first letter of the constructor.
      3a28b488
    • igloo's avatar
      [project @ 2003-05-21 02:58:40 by igloo] · 3319c67d
      igloo authored
      Added support for newtypes to TH and altered a test for them.
      3319c67d
  26. 04 May, 2003 1 commit
  27. 03 May, 2003 1 commit
    • igloo's avatar
      [project @ 2003-05-03 22:11:52 by igloo] · 43a4dd0d
      igloo authored
      Update testsuite in line with recent TH changes.
      
      Added a couple of cases to TH_repE1 and added a new TH_repE2 that also
      splices things back in and checks they can be printed correctly.
      43a4dd0d
  28. 10 Dec, 2002 2 commits
  29. 28 Nov, 2002 1 commit
  30. 22 Nov, 2002 1 commit
  31. 21 Nov, 2002 1 commit
  32. 20 Nov, 2002 2 commits
    • chak's avatar
      [project @ 2002-11-20 12:34:43 by chak] · 686d64b4
      chak authored
      TH:
      - We are forcing importing THSyntax.Q at every top splice now; this suffices
        to get simple splices that do not involve reifyDecl or declaration
        quasi-quotes to work.  NB: This worked already when the construction of the
        Dec term and the splice were in separated modules, but not when they are in
        the same (see the regression test "TH_spliceDecl1.hs").
      - The tests "TH_spliceDecl2.hs" and "TH_spliceDecl3.hs" use toplevel splices
        together with quasi-quoted and reifyDecl.  These currently still fail, as
        importing of some of the required type constructors from THSyntax isn't
        forced.
      686d64b4
    • chak's avatar
      [project @ 2002-11-20 07:19:13 by chak] · a714f235
      chak authored
      TH: Revised type variable handling in toplevel decls (became necessary due to
      recent addition of foralls in type representations).
      a714f235