chore: remove broken CTxInfo

Author: euonymos

src/Cardano/CEM/DSL.hs

@@ -24,7 +24,6 @@ import Plutarch.Prelude (
  )
 import PlutusLedgerApi.V1 (PubKeyHash)
 import PlutusLedgerApi.V2 (ToData (..), Value)
-import PlutusLedgerApi.V2.Contexts (TxInfo)
 import PlutusTx qualified
 import Prelude
 
@@ -39,8 +38,6 @@ data CVar
     CTransition
   | -- | Optional custom computation, see 'transitionComp'
     CComp
-  | -- | Plutus transaction context FIXME: how do we use it? Only debugging?
-    CTxInfo
   deriving stock (Show)
 
 genSingletons [''CVar]
@@ -51,7 +48,6 @@ type family CVarType (cvar :: CVar) script where
   CVarType CState script = State script
   CVarType CTransition script = Transition script
   CVarType CComp script = TransitionComp script
-  CVarType CTxInfo script = TxInfo
 
 {- | During the initial stage of compilation DSL Values
 move from unresolved state where they are represented

src/Cardano/CEM/OffChain.hs

@@ -385,7 +385,6 @@ compileDsl datum@(params, state) transition dsl = case dsl of
       SCComp -> case transitionComp @script of
         Just go -> Right $ go params state transition
         Nothing -> error "Unreachable"
-      SCTxInfo -> raiseOnchainErrorMessage ("TxInfo reference" :: String)
   IsOnChain -> Right False
   GetField @label @datatype @_ @value recordDsl _ -> do
     recordValue <- recur recordDsl

src/Cardano/CEM/OnChain.hs

@@ -17,7 +17,7 @@ import Cardano.CEM.DSL (
   ConstraintDSL (..),
   RecordLabel (MkRecordLabel),
   RecordSetter ((::=)),
-  SCVar (SCComp, SCParams, SCState, SCTransition, SCTxInfo),
+  SCVar (SCComp, SCParams, SCState, SCTransition),
   SameScriptArg (MkSameScriptArg),
   TxConstraint (
     Error,
@@ -29,7 +29,7 @@ import Cardano.CEM.DSL (
     TxFan
   ),
   TxFanFilter (SameScript, UserAddress),
-  TxFanKind (In, InRef, Out),
+  UtxoKind (In, InRef, Out),
  )
 import Data.Map qualified as Map
 import Data.Singletons (Proxy (..), SingI (sing))
@@ -71,7 +71,6 @@ import Plutarch.Builtin (
   pasConstr,
   pconstrBuiltin,
   pdata,
-  pforgetData,
   pfromData,
   pfstBuiltin,
   psndBuiltin,
@@ -327,7 +326,6 @@ genericPlutarchScript spec code =
                   SCTransition -> transition
                   -- FIXME: is this force good?
                   SCComp -> pforce comp
-                  SCTxInfo -> pforgetData txInfo
               GetField @_ @y @_ @value valueDsl proxyLabel ->
                 getRecordField
                   (fieldNum @y proxyLabel)