Add trace debugging

Zalastax · Apr 2, 2018 · db9f6db · db9f6db
1 parent f3797ff
commit db9f6db
Showing 1 changed file with 14 additions and 0 deletions.
diff --git a/src/Debug.agda b/src/Debug.agda
@@ -0,0 +1,14 @@
+module Debug where
+open import Data.String using (String) public
+open import Level public
+
+{-# FOREIGN GHC import qualified Data.Text #-}
+{-# FOREIGN GHC import qualified Debug.Trace as Trace #-}
+
+{-# FOREIGN GHC
+debug' :: Data.Text.Text -> c -> c
+debug' txt c = Trace.trace (Data.Text.unpack txt) c
+#-}
+
+postulate debug : {a : Level} {A : Set a} → String → A → A
+{-# COMPILE GHC debug = (\x -> (\y -> debug')) #-}