package kappa-library

  1. Overview
  2. Docs

Source file ExceptionDefn.ml

1
2
3
4
5
6
7
8
9
10
11
12
13
14
(******************************************************************************)
(*  _  __ * The Kappa Language                                                *)
(* | |/ / * Copyright 2010-2020 CNRS - Harvard Medical School - INRIA - IRIF  *)
(* | ' /  *********************************************************************)
(* | . \  * This file is distributed under the terms of the                   *)
(* |_|\_\ * GNU Lesser General Public License Version 3                       *)
(******************************************************************************)

exception Syntax_Error of string Loc.annoted
exception Malformed_Decl of string Loc.annoted
exception Internal_Error of string Loc.annoted

let warning_buffer : (Loc.t option * (Format.formatter -> unit)) list ref =
  ref []