karamel/lib/Error.ml at 45818d51fa8c13596ade19f7e1a0947dca23e1ca · FStarLang/karamel · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
(* Copyright (c) INRIA and Microsoft Corporation. All rights reserved. *)
(* Licensed under the Apache 2.0 and MIT Licenses. *)

open Ast

type t = location * raw_error

and raw_error =
  | Dropping of string * t
  | UnboundReference of string
  | BadFrame of string
  | TypeError of string
  | Unsupported of string
  | ExternalError of string
  | ExternalTypeApp of lident
  | Vla of ident
  | LostStatic of string option * lident * string option * lident (* UNUSED *)
  | LostInline of string option * lident * string option * lident
  | MustCallKrmlInit
  | Deprecated of string * string
  | NotLowStar of expr
  | NeedsCompat of lident * string
  | NotWasmCompatible of lident * string
  | DropDeclaration of lident * string
  | NotTailCall of lident
  | GeneratesLetBindings of string * expr * (binder * expr) list
  | Arity of lident * string
  | NotInitializerConstant of lident * expr
  | BundleCollision of string
  | IfDef of lident
  | CannotMacro of lident
  | DropCtypesDeclaration of lident * lident
  | ConflictMacro of lident * string
  | InlineStaticInline of lident
  | IfDefOnGlobal of lident
  | NotLowStarCast of expr
  | LibraryPointerAmbiguity of lident * expr
  | UnrecognizedCCompiler of string
  | HoistLocalsVla of ident
  | InitializerUnknownType of string

and location =
  string

let compare = compare