Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Annotation of /sml/trunk/ckit/src/variants/ansic/config.sml
ViewVC logotype

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

Parent Directory Parent Directory | Revision Log Revision Log


Revision 597 - (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 :     val convert_function_args_to_pointers = false (* true *) (* ansic *)
38 :     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