-
Notifications
You must be signed in to change notification settings - Fork 87
use ppx to reduce boilerplate code #31
Copy link
Copy link
Open
Labels
cleanupRefactoring, clean-upRefactoring, clean-uptype-safetyType-safety improvementsType-safety improvements
Description
Use type-driven code generation to get rid of boilerplate (see ppx_deriving):
-
yojsonfor output of domains values (see Possibly excessive functions inPrintable.S#210) -
showfor output of domains values (see Migrate from CIL'sPrettyto OCaml'sFormat#213) -
eq,ordfor domains (PR Reduce equal & compare boilerplate using deriving eq & ord #227) -
hash: ppx_hash exists, but depends on and builds around Jane StreetBasehash stuff, which conflicts with ourbase.ml..., and it doesn't seem to support all the primitive typeseqandordderivers do (e.g.char); alternatively implement own more direct deriver https://github.com/sim642/ppx_deriving_hash? -
relift(Add PPX derivers for lattices of tuple and record types #1095) - create ppx drivers for own ideas (e.g. names/lifting of modules)
- Derive Product-, Record-domain (
, PR Add PPX derivers for lattices of tuple and record types #1095)ppx-latticebranch - Derive Flat- and Chain-Domain from variant types
- Derive
name ()from Domain name - Derive Lifted functions
- Derive Product-, Record-domain (
Reactions are currently unavailable
Metadata
Metadata
Labels
cleanupRefactoring, clean-upRefactoring, clean-uptype-safetyType-safety improvementsType-safety improvements