copilot-core-3.2.1: An intermediate representation for Copilot.
Safe HaskellSafe
LanguageHaskell2010

Copilot.Core.Error

Description

Custom functions to report error messages to users.

Synopsis

Documentation

impossible Source #

Arguments

:: String

Name of the function in which the error was detected.

-> String

Name of the package in which the function is located.

-> a 

Report an error due to a bug in Copilot.

badUsage Source #

Arguments

:: String

Description of the error.

-> a 

Report an error due to an error detected by Copilot (e.g., user error).