Coalton is debugged as any other Lisp code. It has readable stack traces, works with profilers, and so on. In addition, Coalton exposes a small set of debugging and inspection helpers. Some are used inside Coalton expressions, while others are Common Lisp REPL tools for inspecting the global environment or generated code.
If you are familiar with Common Lisp, then replace any coalton-toplevel with pprint-coalton-codegen
to look at the actual generated code. This is sometimes helpful in understanding what Coalton is actually
doing.