Right now, support for partial functions is always enabled. It would be nice to compile a constraint using a compiler flag that disables all support for partial functions. While this (in theory) won't change the size of the generated formula for constraints without partial functions, it could speed up the runtime of the compiled program.
Right now, support for partial functions is always enabled. It would be nice to compile a constraint using a compiler flag that disables all support for partial functions. While this (in theory) won't change the size of the generated formula for constraints without partial functions, it could speed up the runtime of the compiled program.
Problem: prelude functions in https://github.com/apunktbau/co4/blob/277f2be2dfddabb1d5c58307183f9481c31fd66a/src/CO4/Prelude/Bool.hs and https://github.com/apunktbau/co4/blob/277f2be2dfddabb1d5c58307183f9481c31fd66a/src/CO4/Prelude/Nat.hs were built with hardcoded support for potentially undefined values.