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
|
(* ****** ****** *)
//
// CATS-parsemit
//
(* ****** ****** *)
//
// HX-2014-07-02: start
//
(* ****** ****** *)
//
#include
"share/atspre_define.hats"
#include
"share/atspre_staload.hats"
//
(* ****** ****** *)
staload UN = $UNSAFE
(* ****** ****** *)
staload
"./../SATS/catsparse.sats"
staload
"./../SATS/catsparse_parsing.sats"
(* ****** ****** *)
//
implement abort() =
let val () = ($raise(FatalErrorExn())): void in () end
//
(* ****** ****** *)
(* end of [catsparse_error.dats] *)
|
