PlutusData typeclass implementation should be unconditionally printed during TyDef
还没有人认领这个 Issue。
评估
调研方向
从处理 TyDef 的 lbf-plutus-to-plutarch 路径开始,检查示例 sum 类型是如何生成的。将其生成的声明与手动的变通方案 derive PlutusData NftMarketplaceRedeemer 进行比较,然后编译生成的输出。只有在 GHC 报告缺少 PlutusType 实例之前,已经生成所需的 PlutusData 相关声明时,才算完成。
由索引模型根据 Issue 内容生成。
描述
@t4ccer
Alright, I have first maybe bug. If I have
sum NftMarketplaceRedeemer = Buy | Cancel
and run it through lbf-plutus-to-plutarch and try to compile, I'll get a GHC error saying
• No instance for (Plutarch.Prelude.PlutusType
NftMarketplaceRedeemer)
arising from the 'deriving' clause of a data type declaration
Possible fix:
use a standalone 'deriving instance' declaration,
so you can specify the instance context yourself
• When deriving the instance for (Plutarch.Show.PShow
NftMarketplaceRedeemer)
|
40 | deriving anyclass Plutarch.Show.PShow
| ^^^^^^^^^^^^^^^^^^
Of course adding derive PlutusData NftMarketplaceRedeemer fixes the issue, but I have a feeling that it should be caught before going to ghc
- 主要语言
- Haskell
- 星标
- 32
- 派生
- 1
- PR 合并指标
- 30 天内没有已合并 PR
环境准备
从这里开始
- 先读完整个 Issue,再读项目的贡献指南。
- 在 Issue 下留言说明你要接手 —— 这能避免两个人做同样的事。
- Fork 仓库,在一个分支上完成修改。
- 提交 Pull Request,并在描述里引用这个 Issue 编号。
mlabs-haskell/lambda-buffers 的其他 Issue
-
难度 4/5 3-5 天 新手友好度 25/100
mlabs-haskell/lambda-buffers#296 ·
-
难度 5/5 一周以上 新手友好度 20/100
mlabs-haskell/lambda-buffers#295 ·
-
难度 4/5 3-5 天 新手友好度 20/100
mlabs-haskell/lambda-buffers#294 ·
-
Dykstra HF未关闭
难度 4/5 3-5 天 新手友好度 35/100
mlabs-haskell/lambda-buffers#293 ·
-
Nix-free path未关闭devops
难度 5/5 一周以上 新手友好度 25/100
mlabs-haskell/lambda-buffers#292 ·
查看 mlabs-haskell/lambda-buffers 的全部 Issue
相似的 Issue
-
难度 1/5 1 小时以内 新手友好度 76/100
severo/awesome-parquet#50 ·
-
难度 2/5 1-3 小时 新手友好度 76/100
objectionary/phino#1444 ·
维护者通常 1 天内回复
-
难度 1/5 1 小时以内 新手友好度 88/100
维护者通常 1 天内回复
-
enhancement triage
难度 2/5 1-3 小时 新手友好度 72/100
simplex-chat/simplex-chat#7585 ·
维护者通常 1 天内回复
-
typst-0.12未关闭
难度 2/5 1-3 小时 新手友好度 68/100
commercialhaskell/stackage#8127 ·