Module `Errors.Script_l`Source

This module contains the type for other script errors.

Sourcetype t =

| NoSignatureType of string
(*
NoSignatureType ty is raised when a type ty is used without signature to interpret it.
*)
| NoSignatureTerm
| WrongSignature of string * string
| OnlyLexicon of string
| ArgumentMissing of string * string
| DifferentSig of string * (AcgData.Signature.Data_Signature.t * AcgData.Signature.Data_Signature.t) option
(*
DifferentSig (var, Some (sig1, sig2)) is raised when a type variable is used in at least two contexts with different signatures sig1 and sig2.
*)
| AlreadyExistingFun of string
(*
AlreadyExistingFun func when a function func is defined with a name already used.
*)
| UnusedVariable of string
(*
UnusedVariable var is raised when a function is defined with a unused variable var as paramenter.
*)
| UnknownFunction of string
(*
UnknownFunction func is raised when an unknown function func is called.
*)
| UnknownParameter of string * string
(*
UnknownParameter (func, param) when a function func is called with an unknown parameter param.
*)
| ParameterRepeated of string * string
(*
ParameterRepeated (func, param) is raised when a function func is called with at least twice the same parameter param.
*)
| TooMuchArgs of string
(*
TooMuchArgs func is raised when a function is called with too much unnamed arguments.
*)
| NoLastValue
(*
NoLastValue is raised when the function last is called before executing a command returning a value.
*)
| InvalidSpecialFuncCall of string
(*
InvalidSpecialFuncCall func is raised when a special function func is used in a command with multiple functions.
*)
| MissingFuncTermList of string
(*
MissingFuncTermList func is raised when a function func which needs terms as input is called without terms.
*)
| TermListNotAllowed of string
(*
TermListNotAllowed func is raised when a function func which does not take terms as input is called with terms.
*)
| EmptyPipe of string
(*
EmptyPipe func is raised when a function func is called with an invalid pipe.
*)
| EmptyHelp of string
(*
EmptyHelp func_preffix is raised when the function "help" is called with an argument func_preffix that matches no functions of the environment
*)
| Other
(*
Other is for an unknown error.
*)

Sourceval kind : string

Sourceval pp : Format.formatter -> t -> unit

Install

Dune Dependency

Authors

Maintainers

Sources

doc/acgtk.scripting/Scripting/Errors/Script_l/index.html

Module `Errors.Script_l`Source

package acgtk

Install

Dune Dependency

Authors

Maintainers

Sources

doc/acgtk.scripting/Scripting/Errors/Script_l/index.html

Module Errors.Script_lSource

Module `Errors.Script_l`Source