File: ats_error_sats.c

package info (click to toggle)
ats-lang-anairiats 0.2.3-1
  • links: PTS
  • area: main
  • in suites: wheezy
  • size: 19,096 kB
  • sloc: ansic: 222,427; makefile: 2,250; sh: 661
file content (45 lines) | stat: -rw-r--r-- 1,641 bytes parent folder | download
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
/*
**
** The C code is generated by ATS/Anairiats
** The compilation time is: 2010-12-12:  9h:44m
**
*/

/* include some .h files */
#ifndef _ATS_HEADER_NONE
#include "ats_config.h"
#include "ats_basics.h"
#include "ats_types.h"
#include "ats_exception.h"
#include "ats_memory.h"
#endif /* _ATS_HEADER_NONE */

/* prologue from statically loaded files */
/* external codes at top */
/* type definitions */
/* external typedefs */
/* sum constructor declarations */
/* exn constructor declarations */
ATSglobal(ats_exn_type, ATS_2d0_2e2_2e3_2src_2ats_error_2esats__FatalErrorException) ;
ATSglobal(ats_exn_type, ATS_2d0_2e2_2e3_2src_2ats_error_2esats__DeadCodeException) ;

/* static load function */

static int ATS_2d0_2e2_2e3_2src_2ats_error_2esats__staload_flag = 0 ;

ats_void_type
ATS_2d0_2e2_2e3_2src_2ats_error_2esats__staload () {
if (ATS_2d0_2e2_2e3_2src_2ats_error_2esats__staload_flag) return ;
ATS_2d0_2e2_2e3_2src_2ats_error_2esats__staload_flag = 1 ;
ATS_2d0_2e2_2e3_2src_2ats_error_2esats__FatalErrorException.tag = ats_exception_con_tag_new () ;
ATS_2d0_2e2_2e3_2src_2ats_error_2esats__FatalErrorException.name = "ATS_2d0_2e2_2e3_2src_2ats_error_2esats__FatalErrorException" ;
ATS_2d0_2e2_2e3_2src_2ats_error_2esats__DeadCodeException.tag = ats_exception_con_tag_new () ;
ATS_2d0_2e2_2e3_2src_2ats_error_2esats__DeadCodeException.name = "ATS_2d0_2e2_2e3_2src_2ats_error_2esats__DeadCodeException" ;
return ;
} /* staload function */
/* external codes at mid */
/* external codes at bot */

/* ****** ****** */

/* end of [/home/fac2/hwxi/research/ATS/IMPLEMENT/Geizella/Anairiats/svn/ats-lang/bootstrap1/ats_error_sats.c] */