Annotation of /sml/trunk/ckit/src/variants/ansic/config.sml

Parent Directory | Revision Log

---

Revision 665 - (view) (download)

1 :	dbm	597	(* Copyright (c) 1998 by Lucent Technologies *)
2 :
3 :			(* Configuration for ANSIC *)
4 :
5 :			structure Config : CONFIG =
6 :			struct
7 :
8 :			val DFLAG = false
9 :
10 :			structure ParseControl : PARSECONTROL =
11 :			struct
12 :			val symbolLength = 256
13 :			val typedefsScoped = true
14 :			val prototypesAllowed = true
15 :			val templatesAllowed = false
16 :			val trailingCommaInEnum = {error=false,warning=true}
17 :			val newFundefsAllowed = true
18 :			val voidAllowed = true
19 :			val voidStarAllowed = true
20 :			val constAllowed = true
21 :			val volatileAllowed = true
22 :			fun violation str =
23 :			TextIO.output(TextIO.stdOut,"\nERROR: in ANSI C " ^ str ^ "\n")
24 :			val Dkeywords = false
25 :			val parseDirective = true (* Chandra, 6/21/99 *)
26 :			end
27 :
28 :			(* see type-check-control-sig.sml for description of these flags *)
29 :			structure TypeCheckControl : TYPECHECKCONTROL =
30 :			struct
31 :			val don't_convert_SHORT_to_INT = false (* not doing dsp *)
32 :			val don't_convert_DOUBLE_in_usual_unary_cnv = true (* ansic *)
33 :			val enumeration_incompatibility = true (* ansic *)
34 :			val pointer_compatibility_quals = true (* ansic *)
35 :			val undeclared_id_error = true (* ansic *)
36 :			val undeclared_fun_error = true (* ansic *)
37 :	nch	665	val convert_function_args_to_pointers = true (* ansic *)
38 :	dbm	597	val storage_size_check = true (* ansic *)
39 :			val perform_type_checking = true (* do type checking *)
40 :			val ISO_bitfield_restrictions = false (* allow char, short, long in bitfields *)
41 :			val allow_enum_bitfields = true (* allow enums in bitfields *)
42 :			val allow_non_constant_local_initializer_lists = false (* ansic *)
43 :			val partial_enum_error = false (* permissive *)
44 :			val partial_enums_have_unknown_size = false (* permissive *)
45 :			end
46 :			end (* structure Config *)

---

root@smlnj-gforge.cs.uchicago.edu	ViewVC Help
Powered by ViewVC 1.0.0