Rust codegen: remove PhantomData type from eq builtins

szg251 · szg251 · commit aaf556f723bb · 2023-12-20T09:49:51.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
@@ -54,7 +54,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 -> PC.TyDefs -> (Doc ann -> Doc ann) -> PC.Ty -> m (Doc ann)

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