[Haskell-cafe] code-as-config, run-time checks and error locations

[Kim-Ee Yeoh]

On Sun, Apr 7, 2013 at 12:23 AM, Steffen Schuldenzucker
<sschuldenzucker at uni-bonn.de> wrote:
> For the moment I think it would be enough to auto-insert the location of
> calls to a certain set of functions.

Have you tried assert [1]?

[1] http://hackage.haskell.org/packages/archive/base/4.6.0.1/doc/html/Control-Exception.html#v:assert

-- Kim-Ee