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 07 2023 at 08:19 UTC