Thomas Gebert (Jan 13 2023 at 18:52): Thomas Gebert (Jan 13 2023 at 18:52):I'm trying to do some Haskell code generation involving rational numbers. Things have mostly worked, but one thing that has given me some confusion is that I would like to be able to supply a custom instance of the "Show" typeclass for the Int type in Arith.
My advisor did a bit of digging, and saw that src/Tools/Code/code_haskell.ML seems to house the deriving code, but had a bit of trouble finding documentation for it. Does anyone here have some advice on the best way to go about handling custom instances?
Last updated: Dec 21 2024 at 12:33 UTC