Add a method to the Quasi type class that adds new top-level declarations.
authorGeoffrey Mainland <mainland@apeiron.net>
Tue, 21 May 2013 12:39:44 +0000 (13:39 +0100)
committerGeoffrey Mainland <mainland@apeiron.net>
Fri, 4 Oct 2013 18:58:26 +0000 (14:58 -0400)
Language/Haskell/TH/Syntax.hs

index 9c07010..899183e 100644 (file)
@@ -62,6 +62,8 @@ class (Monad m, Applicative m) => Quasi m where
 
   qAddDependentFile :: FilePath -> m ()
 
+  qAddTopDecls :: [Dec] -> m ()
+
 -----------------------------------------------------
 --     The IO instance of Quasi
 --
@@ -88,6 +90,7 @@ instance Quasi IO where
   qLocation                  = badIO "currentLocation"
   qRecover _ _               = badIO "recover" -- Maybe we could fix this?
   qAddDependentFile _ = badIO "addDependentFile"
+  qAddTopDecls _      = badIO "addTopDecls"
 
   qRunIO m = m
 
@@ -330,6 +333,11 @@ runIO m = Q (qRunIO m)
 addDependentFile :: FilePath -> Q ()
 addDependentFile fp = Q (qAddDependentFile fp)
 
+-- | Add additional top-level declarations. The added declarations will be type
+-- checked along with the current declaration group.
+addTopDecls :: [Dec] -> Q ()
+addTopDecls ds = Q (qAddTopDecls ds)
+
 instance Quasi Q where
   qNewName         = newName
   qReport          = report
@@ -341,6 +349,7 @@ instance Quasi Q where
   qLocation        = location
   qRunIO           = runIO
   qAddDependentFile = addDependentFile
+  qAddTopDecls      = addTopDecls
 
 
 ----------------------------------------------------