add tests and address comments

zliu41 · zliu41 · commit 6c8f70c82bf9 · 2026-03-11T15:36:13.000-07:00
diff --git a/plutus-core/plutus-ir/src/PlutusIR/Compiler/Definitions.hs b/plutus-core/plutus-ir/src/PlutusIR/Compiler/Definitions.hs
@@ -129,7 +129,6 @@ newtype DefT key uni fun ann m a = DefT {unDefT :: StateT (DefState key uni fun
     , MonadReader r
     , MonadQuote
     , MonadWriter w
-    , MonadIO
     )
 
 -- Need to write this by hand, deriving wants to derive the one for DefState
diff --git a/plutus-tx-plugin/plutus-tx-plugin.cabal b/plutus-tx-plugin/plutus-tx-plugin.cabal
@@ -190,6 +190,7 @@ test-suite plutus-tx-plugin-tests
     TH.Spec
     TH.TestTH
     Unicode.Spec
+    Unsupported.Spec
 
   build-depends:
     , base                             >=4.9   && <5
diff --git a/plutus-tx-plugin/src/PlutusTx/Compiler/Types.hs b/plutus-tx-plugin/src/PlutusTx/Compiler/Types.hs
@@ -206,7 +206,6 @@ type Compiling uni fun m ann =
   , MonadState CompileState m
   , MonadDefs LexName uni fun Ann m
   , MonadWriter CoverageIndex m
-  , MonadIO m
   )
 
 -- Packing up equality constraints gives us a nice way of writing type signatures as this way
diff --git a/plutus-tx-plugin/test/Spec.hs b/plutus-tx-plugin/test/Spec.hs
@@ -28,6 +28,7 @@ import StdLib.Spec qualified as Lib
 import Strictness.Spec qualified as Strictness
 import TH.Spec qualified as TH
 import Unicode.Spec qualified as Unicode
+import Unsupported.Spec qualified as Unsupported
 
 import Test.Tasty (TestTree, defaultMain)
 import Test.Tasty.Extras (embed, runTestNested)
@@ -68,4 +69,5 @@ tests =
     , StageViolation.tests
     , CallTrace.tests
     , BuiltinCasing.tests
+    , Unsupported.tests
     ]
diff --git a/plutus-tx-plugin/test/Unsupported/9.12/eq.golden.uplc b/plutus-tx-plugin/test/Unsupported/9.12/eq.golden.uplc
@@ -0,0 +1 @@
+Error: Unsupported feature: GHC.Classes.Eq.==, use PlutusTx.Eq.Class.Eq
diff --git a/plutus-tx-plugin/test/Unsupported/9.12/io.golden.uplc b/plutus-tx-plugin/test/Unsupported/9.12/io.golden.uplc
@@ -0,0 +1 @@
+Error: Unsupported feature: IO actions are not supported in Plinth
diff --git a/plutus-tx-plugin/test/Unsupported/9.12/ord.golden.uplc b/plutus-tx-plugin/test/Unsupported/9.12/ord.golden.uplc
@@ -0,0 +1 @@
+Error: Unsupported feature: GHC.Classes.Ord.>, use PlutusTx.Ord.Class.Ord
diff --git a/plutus-tx-plugin/test/Unsupported/9.6/eq.golden.uplc b/plutus-tx-plugin/test/Unsupported/9.6/eq.golden.uplc
@@ -0,0 +1 @@
+Error: Unsupported feature: GHC.Classes.Eq.==, use PlutusTx.Eq.Class.Eq
diff --git a/plutus-tx-plugin/test/Unsupported/9.6/io.golden.uplc b/plutus-tx-plugin/test/Unsupported/9.6/io.golden.uplc
@@ -0,0 +1 @@
+Error: Unsupported feature: IO actions are not supported in Plinth
diff --git a/plutus-tx-plugin/test/Unsupported/9.6/ord.golden.pir b/plutus-tx-plugin/test/Unsupported/9.6/ord.golden.pir
diff --git a/plutus-tx-plugin/test/Unsupported/9.6/ord.golden.uplc b/plutus-tx-plugin/test/Unsupported/9.6/ord.golden.uplc
@@ -0,0 +1 @@
+Error: Unsupported feature: GHC.Classes.Ord.>, use PlutusTx.Ord.Class.Ord
diff --git a/plutus-tx-plugin/test/Unsupported/Spec.hs b/plutus-tx-plugin/test/Unsupported/Spec.hs
@@ -0,0 +1,54 @@
+{-# LANGUAGE DataKinds #-}
+{-# LANGUAGE ImportQualifiedPost #-}
+{-# LANGUAGE LambdaCase #-}
+{-# LANGUAGE NegativeLiterals #-}
+{-# LANGUAGE OverloadedStrings #-}
+{-# LANGUAGE TypeApplications #-}
+{-# OPTIONS_GHC -fplugin PlutusTx.Plugin #-}
+{-# OPTIONS_GHC -fplugin-opt PlutusTx.Plugin:datatypes=BuiltinCasing #-}
+{-# OPTIONS_GHC -fplugin-opt PlutusTx.Plugin:defer-errors #-}
+
+module Unsupported.Spec where
+
+import Test.Tasty.Extras
+
+import Data.Proxy
+import PlutusTx.Code
+import PlutusTx.List qualified as List
+import PlutusTx.Plugin
+import PlutusTx.Prelude qualified as PlutusTx
+import PlutusTx.Test
+import System.IO.Unsafe
+
+tests :: TestNested
+tests =
+  testNested "Unsupported" . pure $
+    testNestedGhc
+      [ goldenUPlcReadable "ord" ord
+      , goldenUPlcReadable "eq" eq
+      , goldenUPlcReadable "io" io
+      ]
+
+ord :: CompiledCode ([Integer] -> Bool)
+ord = plc (Proxy @"ord") (List.any (10 Prelude.>))
+
+eq :: CompiledCode (Integer -> Integer -> Bool)
+eq =
+  plc
+    (Proxy @"eq")
+    ( \x y ->
+        (x PlutusTx.+ y)
+          Prelude.== (x PlutusTx.- y)
+    )
+
+io :: CompiledCode (Integer -> Integer -> Integer)
+io =
+  plc
+    (Proxy @"io")
+    ( \x y ->
+        x
+          PlutusTx.+ ( unsafePerformIO $ do
+                         putStrLn "hello"
+                         pure y
+                     )
+    )

Original file line number	Diff line number	Diff line change
`@@ -129,7 +129,6 @@ newtype DefT key uni fun ann m a = DefT {unDefT :: StateT (DefState key uni fun`
`129`	`129`	`, MonadReader r`
`130`	`130`	`, MonadQuote`
`131`	`131`	`, MonadWriter w`
`132`		`- , MonadIO`
`133`	`132`	`)`
`134`	`133`
`135`	`134`	`-- Need to write this by hand, deriving wants to derive the one for DefState`
Original file line number	Diff line number	Diff line change
`@@ -206,7 +206,6 @@ type Compiling uni fun m ann =`
`206`	`206`	`, MonadState CompileState m`
`207`	`207`	`, MonadDefs LexName uni fun Ann m`
`208`	`208`	`, MonadWriter CoverageIndex m`
`209`		`- , MonadIO m`
`210`	`209`	`)`
`211`	`210`
`212`	`211`	`-- Packing up equality constraints gives us a nice way of writing type signatures as this way`
Original file line number	Diff line number	Diff line change
`@@ -0,0 +1 @@`
	`1`	`+Error: Unsupported feature: GHC.Classes.Eq.==, use PlutusTx.Eq.Class.Eq`
Original file line number	Diff line number	Diff line change
`@@ -0,0 +1 @@`
	`1`	`+Error: Unsupported feature: IO actions are not supported in Plinth`