Source file `error.ml`

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
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
exception ReservedName of string
exception InvalidEntry
exception OptionsError
exception FatalError
exception UnknownId of string

let fatal s =
  Io.error
    "The following error occurred: \n%s\n This is a bug, please report.\n%!" s;
  raise FatalError

let unsatisfiable_constraints t s =
  Io.error
    "The constraints generated for the %s could not be solved for the \
     following reason:\n\
     %s%!"
    t s;
  raise InvalidEntry

let incomplete_constraints t =
  Io.error
    "Incomplete constraints: some of the meta-variable could not be resolved \
     in the following %s%!"
    t;
  raise InvalidEntry

let untypable t s =
  Io.error "The %s could not be typed for the following reason:\n%s%!" t s;
  raise InvalidEntry

let not_valid_coherence c s =
  Io.error "The coherence %s is not valid for the following reason:\n%s%!" c s;
  raise InvalidEntry

let wrong_option_argument ~expected o a =
  Io.error
    "Wrong argument for options %s, options %s given is not compatible with \
     the expected type %s%!"
    o a expected;
  raise OptionsError

let incompatible_options o1 o2 =
  Io.error "Incompatible options %s and %s%!" o1 o2;
  raise OptionsError

let unknown_option o =
  Io.error "Unknown options %s%!" o;
  raise OptionsError

let unknown_id s =
  Io.error "Identifier %s is unknown%!" s;
  raise InvalidEntry

let functorialisation t s =
  Io.error
    "Could not compute the transformation of %s for the following reason:\n%s%!"
    t s;
  raise InvalidEntry

let inversion t s =
  Io.error "Could not compute the inverse of %s for the following reason:\n%s%!"
    t s;
  raise InvalidEntry

let parsing_error t s =
  Io.error "Could not parse %s for the following reason:\n%s%!" t s;
  raise InvalidEntry

let invalid_ps s =
  Io.error "The following context is not a pasting scheme:\n%s%!" s;
  raise InvalidEntry

let doubled_var ctx v =
  Io.error
    "The following context is invalid because variable %s is repeated:\n%s%!" v
    ctx;
  raise InvalidEntry