Apply do-syntax examples for ptrace and >>

examples/Examples/Api.hs

@@ -14,6 +14,7 @@ import Plutarch.Builtin (PAsData, PBuiltinList)
 import Plutarch.DataRepr (pindexDataList)
 import Plutarch.Lift (pconstant)
 import qualified Plutarch.Monadic as P
+import Plutarch.Trace (ptrace)
 
 import Plutus.V1.Ledger.Api (
   Address (..),
@@ -111,6 +112,7 @@ _getMint = plam $ \x -> P.do
 _getInputs :: Term s (PTxInfo :--> PAsData (PBuiltinList (PAsData PTxInInfo)))
 _getInputs = plam $ \x -> P.do
   PTxInfo i <- pmatch x
+  ptrace "xhuawdhauywhd"
   i' <- plet i
   pindexDataList (Proxy @0) # i'
 

examples/Examples/Tracing.hs

@@ -1,4 +1,4 @@
-{-# LANGUAGE CPP #-}
+{-# LANGUAGE CPP, QualifiedDo #-}
 
 module Examples.Tracing (traceTests) where
 
@@ -7,13 +7,14 @@ import Plutarch.Bool (PBool (PFalse, PTrue))
 import Plutarch.Trace (ptrace, ptraceIfFalse, ptraceIfTrue)
 import Plutarch.Unit (PUnit (PUnit))
 import Utils (HasTester, traces)
+import qualified Plutarch.Monadic as P
 
 traceTests :: HasTester => IO ()
 traceTests = do
 
 -- CPP support isn't great in fourmolu.
 {- ORMOLU_DISABLE -}
-  ptrace "foo" (pcon PUnit) `traces`
+  P.do { ptrace "foo"; pcon PUnit } `traces`
 #ifdef Development
     ["foo"]
 #else

plutarch.cabal

@@ -68,7 +68,7 @@ common c
     ViewPatterns
 
   ghc-options:
-    -Wall -Wcompat -Wincomplete-uni-patterns
+    -Wall -Wcompat -Wincomplete-uni-patterns -Wno-unused-do-bind
     -Wno-partial-type-signatures -Wmissing-export-lists -Werror
     -Wincomplete-record-updates -Wmissing-deriving-strategies
     -Wno-name-shadowing -Wunused-foralls -fprint-explicit-foralls