[project @ 2004-04-06 12:03:05 by simonpj]
authorsimonpj <unknown>
Tue, 6 Apr 2004 12:03:05 +0000 (12:03 +0000)
committersimonpj <unknown>
Tue, 6 Apr 2004 12:03:05 +0000 (12:03 +0000)
* Add 'dyn' as an export of TH

* Give TH a full export list. This means it no longer exports random helper
  functions from inside TH.Lib etc, so yell if I've omitted anything that's
  really useful.

libraries/template-haskell/Language/Haskell/TH.hs
libraries/template-haskell/Language/Haskell/TH/Lib.hs

index 7ac5117..a15f77e 100644 (file)
@@ -24,9 +24,23 @@ module Language.Haskell.TH(
        Fixity(..), FixityDirection(..), defaultFixity, maxPrecedence,
 
        -- Library functions
-       module Language.Haskell.TH.Lib,
-    -- Pretty-printer
-       module Language.Haskell.TH.Ppr,
+       InfoQ, ExpQ, DecQ, ConQ, TypeQ, CxtQ, MatchQ, ClauseQ, BodyQ,
+       StmtQ, RangeQ, StrictTypeQ, VarStrictTypeQ,
+       intPrimL, floatPrimL, doublePrimL, integerL, charL, stringL, rationalL, 
+       litP, varP, tupP, conP, tildeP, asP, wildP, recP, listP, fieldPat, 
+       bindS, letS, noBindS, parS, 
+       fromR, fromThenR, fromToR, fromThenToR, 
+       normalB, guardedB, match, clause, 
+       dyn, global, varE, conE, litE, appE, infixE, infixApp, sectionL, sectionR, 
+       lamE, lam1E, tupE, condE, letE, caseE, doE, compE, arithSeqE, 
+       fromE, fromThenE, fromThenToE, listE, sigE, recConE, recUpdE, stringE, fieldExp,
+       valD, funD, tySynD, dataD, newtypeD, classD, instanceD, sigD, forImpD,
+       normalC, recC, 
+       cxt, varT, conT, appT, arrowT, tupleT, isStrict, notStrict, strictType, varStrictType,
+       cCall, stdCall, unsafe, safe, threadsafe,
+
+       -- Pretty-printer
+       Ppr(..), pprint, pprExp, pprLit, pprPat, pprParendType
        
    ) where
 
index 58e7ee0..fa422d6 100644 (file)
@@ -126,6 +126,9 @@ clause ps r ds = do { r' <- r;
 ---------------------------------------------------------------------------
 --     Exp
 
+dyn :: String -> Q Exp 
+dyn s = return (VarE (mkName s))
+
 global :: Name -> ExpQ
 global s = return (VarE s)