Skip to content

Instantly share code, notes, and snippets.

@mikekeke
Last active March 4, 2022 09:52
Show Gist options
  • Save mikekeke/0e953fba8bfd801d7e755c61c5f75da1 to your computer and use it in GitHub Desktop.
Save mikekeke/0e953fba8bfd801d7e755c61c5f75da1 to your computer and use it in GitHub Desktop.
Const foldMap

GHC Core to PLC plugin: E042:Error: Unsupported feature: Kind: forall k. * -> k -> * Context: Compiling kind: forall k. * -> k -> * Context: Compiling type: Data.Functor.Const.Const () Context: Compiling expr: PlutusTx.Foldable.foldMap @ (Data.Functor.Const.Const ()) Context: Compiling expr: PlutusTx.Foldable.foldMap @ (Data.Functor.Const.Const ()) (PlutusTx.Foldable.$fFoldableConst @ ()) Context: Compiling expr: PlutusTx.Foldable.foldMap @ (Data.Functor.Const.Const ()) (PlutusTx.Foldable.$fFoldableConst @ ()) @ [GHC.Integer.Type.Integer] Context: Compiling expr: PlutusTx.Foldable.foldMap @ (Data.Functor.Const.Const ()) (PlutusTx.Foldable.$fFoldableConst @ ()) @ [GHC.Integer.Type.Integer] @ GHC.Integer.Type.Integer Context: Compiling expr: PlutusTx.Foldable.foldMap @ (Data.Functor.Const.Const ()) (PlutusTx.Foldable.$fFoldableConst @ ()) @ [GHC.Integer.Type.Integer] @ GHC.Integer.Type.Integer (PlutusTx.Monoid.$fMonoid[] @ GHC.Integer.Type.Integer) Context: Compiling expr at "main:Size.Foldable:(72,20)-(72,52)"

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment