Skip to content

Add detailed error message for unsupported casing on Integer #7766

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
zliu41 merged 2 commits into from
May 5, 2026
+76 −6
Merged

Add detailed error message for unsupported casing on Integer #7766

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
8c31069
Add detailed error message for unsupported casing on Integer
zliu41 May 4, 2026
c60e840
golden
zliu41 May 4, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
3 changes: 3 additions & 0 deletions plutus-tx-plugin/changelog.d/20260504_112339_unsafeFixIO_case_on_integer.md
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,3 @@
### Added

- Detailed error message for unsupported casing on Integer.
28 changes: 25 additions & 3 deletions plutus-tx-plugin/src/PlutusTx/Compiler/Type.hs
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,4 +1,5 @@
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE MultiWayIf #-}
{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE TupleSections #-}
{-# LANGUAGE TypeApplications #-}
Expand Down Expand Up @@ -355,6 +356,26 @@ stageViolationError tc =
GHC.$+$ ""
GHC.$+$ ghcStrictnessNote

integerCaseError :: GHC.SDoc
integerCaseError =
"Cannot pattern match on a value of type 'Integer'."
GHC.$+$ ""
GHC.$+$ "This usually happens when pattern matching on an integer literal,"
GHC.$+$ "for example:"
GHC.$+$ ""
GHC.$+$ " f 42 = ..."
GHC.$+$ " f n = ..."
GHC.$+$ ""
GHC.$+$ "Plinth does not support pattern matching on 'Integer'. Use equality"
GHC.$+$ "from 'PlutusTx.Prelude' instead, for example:"
GHC.$+$ ""
GHC.$+$ " import PlutusTx.Prelude ((==))"
GHC.$+$ ""
GHC.$+$ " f n | n == 42 = ..."
GHC.$+$ " | otherwise = ..."
GHC.$+$ ""
GHC.$+$ ghcStrictnessNote

-- | Get the constructors of the given 'TyCon' as PLC terms.
getConstructors :: CompilingDefault uni fun m ann => GHC.TyCon -> m [PIRTerm uni fun]
getConstructors tc = do
Expand Down Expand Up @@ -383,9 +404,10 @@ getMatch tc = do
Just match -> pure match
Nothing ->
throwSd UnsupportedError $
if isOpaqueBuiltinTyCon tc
then stageViolationError tc
else "Cannot case on a value on type:" GHC.<+> GHC.ppr tc GHC.$+$ ghcStrictnessNote
if
| tc == GHC.integerTyCon -> integerCaseError
| isOpaqueBuiltinTyCon tc -> stageViolationError tc
| otherwise -> "Cannot case on a value on type:" GHC.<+> GHC.ppr tc GHC.$+$ ghcStrictnessNote

{-| Get the matcher of the given 'Type' (which must be equal to a type constructor application)
as a PLC term instantiated for the type constructor argument types. -}
Expand Down
17 changes: 16 additions & 1 deletion plutus-tx-plugin/test/Plugin/Errors/9.12/caseInt.golden.uplc
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,2 +1,17 @@
Error: Unsupported feature: Cannot case on a value on type: GHC.Num.Integer.Integer
Error: Unsupported feature: Cannot pattern match on a value of type 'Integer'.

This usually happens when pattern matching on an integer literal,
for example:

f 42 = ...
f n = ...

Plinth does not support pattern matching on 'Integer'. Use equality
from 'PlutusTx.Prelude' instead, for example:

import PlutusTx.Prelude ((==))

f n | n == 42 = ...
| otherwise = ...

Note: GHC can generate these unexpectedly, you may need '-fno-strictness', '-fno-specialise', '-fno-spec-constr', '-fno-unbox-strict-fields', or '-fno-unbox-small-strict-fields'.
17 changes: 16 additions & 1 deletion plutus-tx-plugin/test/Plugin/Errors/9.12/rangeEnumFromThenTo.golden.uplc
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,2 +1,17 @@
Error: Unsupported feature: Cannot case on a value on type: GHC.Num.Integer.Integer
Error: Unsupported feature: Cannot pattern match on a value of type 'Integer'.

This usually happens when pattern matching on an integer literal,
for example:

f 42 = ...
f n = ...

Plinth does not support pattern matching on 'Integer'. Use equality
from 'PlutusTx.Prelude' instead, for example:

import PlutusTx.Prelude ((==))

f n | n == 42 = ...
| otherwise = ...

Note: GHC can generate these unexpectedly, you may need '-fno-strictness', '-fno-specialise', '-fno-spec-constr', '-fno-unbox-strict-fields', or '-fno-unbox-small-strict-fields'.
17 changes: 16 additions & 1 deletion plutus-tx-plugin/test/Plugin/Errors/9.6/caseInt.golden.uplc
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,2 +1,17 @@
Error: Unsupported feature: Cannot case on a value on type: GHC.Num.Integer.Integer
Error: Unsupported feature: Cannot pattern match on a value of type 'Integer'.

This usually happens when pattern matching on an integer literal,
for example:

f 42 = ...
f n = ...

Plinth does not support pattern matching on 'Integer'. Use equality
from 'PlutusTx.Prelude' instead, for example:

import PlutusTx.Prelude ((==))

f n | n == 42 = ...
| otherwise = ...

Note: GHC can generate these unexpectedly, you may need '-fno-strictness', '-fno-specialise', '-fno-spec-constr', '-fno-unbox-strict-fields', or '-fno-unbox-small-strict-fields'.
Loading