Rust codegen: remove PhantomData type from eq builtins

szg251 · szg251 · commit 743f9d643fd0 · 2023-12-20T16:58:06.000+01:00
diff --git a/lambda-buffers-codegen/src/LambdaBuffers/Codegen/Rust/Print/Derive.hs b/lambda-buffers-codegen/src/LambdaBuffers/Codegen/Rust/Print/Derive.hs
@@ -55,7 +55,6 @@ lvEqBuiltinsBase = LV.MkPrintRead $ \(_ty, refName) ->
       , ("and", R.qForeignRef R.MkValueName "lbr-prelude" ["lamval"] "and")
       , ("true", R.qBuiltin R.MkValueName "true")
       , ("false", R.qBuiltin R.MkValueName "false")
-      , ("PhantomData", R.qForeignRef R.MkValueName "std" ["marker"] "PhantomData")
       ]
 
 printDerivePartialEqBase :: MonadPrint m => PC.ModuleName -> R.PkgMap -> PC.TyDefs -> (Doc ann -> Doc ann) -> PC.Ty -> m (Doc ann)

Original file line number	Diff line number	Diff line change
`@@ -55,7 +55,6 @@ lvEqBuiltinsBase = LV.MkPrintRead $ \(_ty, refName) ->`
`55`	`55`	`, ("and", R.qForeignRef R.MkValueName "lbr-prelude" ["lamval"] "and")`
`56`	`56`	`, ("true", R.qBuiltin R.MkValueName "true")`
`57`	`57`	`, ("false", R.qBuiltin R.MkValueName "false")`
`58`		`- , ("PhantomData", R.qForeignRef R.MkValueName "std" ["marker"] "PhantomData")`
`59`	`58`	`]`
`60`	`59`
`61`	`60`	`printDerivePartialEqBase :: MonadPrint m => PC.ModuleName -> R.PkgMap -> PC.TyDefs -> (Doc ann -> Doc ann) -> PC.Ty -> m (Doc ann)`