Add tests.

IntersectMBO · Sep 14, 2021 · 5cf95a8 · 5cf95a8
1 parent 57535bf
commit 5cf95a8
Show file tree

Hide file tree

Showing 4 changed files with 6 additions and 2 deletions.
diff --git a/plutus-tx-plugin/plutus-tx-plugin.cabal b/plutus-tx-plugin/plutus-tx-plugin.cabal
@@ -93,6 +93,7 @@ test-suite plutus-tx-tests
         Plugin.Functions.Spec
         Plugin.Laziness.Spec
         Plugin.Primitives.Spec
+        Plugin.Primitives.Profiling
         Plugin.Typeclasses.Spec
         Plugin.Typeclasses.Lib
         Plugin.Lib

diff --git a/plutus-tx-plugin/src/PlutusTx/Compiler/Expr.hs b/plutus-tx-plugin/src/PlutusTx/Compiler/Expr.hs
@@ -21,6 +21,7 @@ import           PlutusTx.Compiler.Type
 import           PlutusTx.Compiler.Types
 import           PlutusTx.Compiler.Utils
 import           PlutusTx.PIRTypes
+import           PlutusTx.Prelude              (trace)
 -- I feel like we shouldn't need this, we only need it to spot the special String type, which is annoying
 import qualified PlutusTx.Builtins.Class       as Builtins
 
@@ -408,7 +409,7 @@ hoistExpr var t =
                 t' <-
                     if coProfile profileOpts==All then do
                         t'' <- compileExpr t
-                        return $ Builtins.trace "entering x" (\() -> Builtins.trace "exiting x" t'') ()
+                        return $ trace "entering x" (\() -> trace "exiting x" t'') ()
                     else compileExpr t
                     -- TODO add Some option
 

diff --git a/plutus-tx-plugin/test/Plugin/Basic/Spec.hs b/plutus-tx-plugin/test/Plugin/Basic/Spec.hs
@@ -39,7 +39,7 @@ monoId = plc (Proxy @"monoId") (\(x :: Integer) -> x)
 monoK :: CompiledCode (Integer -> Integer -> Integer)
 monoK = plc (Proxy @"monoK") (\(i :: Integer) -> \(j :: Integer) -> i)
 
--- GHC acutually turns this into a lambda for us, try and make one that stays a let
+-- GHC actually turns this into a lambda for us, try and make one that stays a let
 letFun :: CompiledCode (Integer -> Integer -> Bool)
 letFun = plc (Proxy @"letFun") (\(x::Integer) (y::Integer) -> let f z = Builtins.equalsInteger x z in f y)
 

diff --git a/plutus-tx-plugin/test/Plugin/Spec.hs b/plutus-tx-plugin/test/Plugin/Spec.hs
@@ -9,13 +9,15 @@ import           Plugin.Data.Spec
 import           Plugin.Errors.Spec
 import           Plugin.Functions.Spec
 import           Plugin.Laziness.Spec
+import qualified Plugin.Primitives.Profiling as Profile
 import           Plugin.Primitives.Spec
 import           Plugin.Typeclasses.Spec
 
 tests :: TestNested
 tests = testNested "Plugin" [
     basic
   , primitives
+  , Profile.primitives
   , datat
   , functions
   , laziness