added compile-time type-checking for the Prelude, as a sanity check

GaloisInc · May 25, 2018 · 54b89d3 · 54b89d3
1 parent a5eb258
commit 54b89d3
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/src/Verifier/SAW.hs b/src/Verifier/SAW.hs
@@ -7,6 +7,8 @@ Stability   : experimental
 Portability : non-portable (language extensions)
 -}
 
+{-# LANGUAGE TemplateHaskell #-}
+
 module Verifier.SAW
   ( module Verifier.SAW.SharedTerm
   , module Verifier.SAW.ExternalFormat
@@ -18,3 +20,7 @@ module Verifier.SAW
 import Verifier.SAW.SharedTerm
 import Verifier.SAW.Prelude
 import Verifier.SAW.ExternalFormat
+
+-- The following type-checks the Prelude at compile time, as a sanity check
+import Language.Haskell.TH
+$(runIO (mkSharedContext >>= \sc -> scLoadPreludeModule sc >> return []))