2019-09-04 11:32:33 +03:00
|
|
|
(*
|
|
|
|
Copyright (C) 2019 Inria, contributor: Denis Merigoux <denis.merigoux@inria.fr>
|
|
|
|
|
|
|
|
Licensed under the Apache License, Version 2.0 (the "License");
|
|
|
|
you may not use this file except in compliance with the License.
|
|
|
|
You may obtain a copy of the License at
|
|
|
|
|
|
|
|
http://www.apache.org/licenses/LICENSE-2.0
|
|
|
|
|
|
|
|
Unless required by applicable law or agreed to in writing, software
|
|
|
|
distributed under the License is distributed on an "AS IS" BASIS,
|
|
|
|
WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
|
|
|
|
See the License for the specific language governing permissions and
|
|
|
|
limitations under the License.
|
|
|
|
*)
|
|
|
|
|
|
|
|
exception UnsupportedByVerifisc of string
|
|
|
|
|
|
|
|
exception VerifiscTypeError of string
|
|
|
|
|
|
|
|
exception VerifiscRuntimeError of string
|
2019-12-22 14:52:31 +03:00
|
|
|
|
|
|
|
let verifisc_type_error kont =
|
|
|
|
Format.kasprintf (fun str ->
|
|
|
|
raise (VerifiscTypeError str)) kont
|
|
|
|
|
|
|
|
let verifisc_runtime_error kont =
|
|
|
|
Format.kasprintf (fun str ->
|
|
|
|
raise (VerifiscRuntimeError str)) kont
|