Stream: General

Topic: Code Generation "Show" overrides

view this post on Zulip 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 07 2023 at 08:19 UTC