Agda-2.5.1.2: A dependently typed functional programming language and proof assistant

Safe HaskellNone
LanguageHaskell98

Agda.Interaction.Exceptions

Description

This module defines the exception handler.

Synopsis

Documentation

failOnException :: (Range -> Doc -> IO a) -> IO a -> IO a Source #

Note that failOnException only catches ParseErrors.