Add field names to grade_vars.

Mercury-Language · Apr 25, 2016 · ab1e1f5 · ab1e1f5
1 parent 24989bd
commit ab1e1f5
Showing 1 changed file with 27 additions and 27 deletions.
diff --git a/grade_lib/grade_vars.m b/grade_lib/grade_vars.m
@@ -47,33 +47,33 @@
 
 :- type grade_vars
     --->    grade_vars(
-                grade_var_pregen,
-                grade_var_backend,
-                grade_var_target,
-                grade_var_datarep,
-                grade_var_nested_funcs,
-                grade_var_gcc_conf,
-                grade_var_low_tag_bits_use,
-                grade_var_stack_len,
-                grade_var_trail,
-                grade_var_trail_segments,
-                grade_var_minmodel,
-                grade_var_thread_safe,
-                grade_var_gc,
-                grade_var_deep_prof,
-                grade_var_mprof_call,
-                grade_var_mprof_time,
-                grade_var_mprof_memory,
-                grade_var_tscope_prof,
-                grade_var_term_size_prof,
-                grade_var_debug,
-                grade_var_ssdebug,
-                grade_var_target_debug,
-                grade_var_rbmm,
-                grade_var_rbmm_debug,
-                grade_var_rbmm_prof,
-                grade_var_merc_file,
-                grade_var_merc_float
+                gv_pregen               :: grade_var_pregen,
+                gv_backend              :: grade_var_backend,
+                gv_target               :: grade_var_target,
+                gv_datarep              :: grade_var_datarep,
+                gv_nested_funcs         :: grade_var_nested_funcs,
+                gv_gcc_conf             :: grade_var_gcc_conf,
+                gv_low_tag_bits_use     :: grade_var_low_tag_bits_use,
+                gv_stack_len            :: grade_var_stack_len,
+                gv_trail                :: grade_var_trail,
+                gv_trail_segments       :: grade_var_trail_segments,
+                gv_minmodel             :: grade_var_minmodel,
+                gv_thread_safe          :: grade_var_thread_safe,
+                gv_gc                   :: grade_var_gc,
+                gv_deep_prof            :: grade_var_deep_prof,
+                gv_mprof_call           :: grade_var_mprof_call,
+                gv_mprof_time           :: grade_var_mprof_time,
+                gv_mprof_memory         :: grade_var_mprof_memory,
+                gv_tscope_prof          :: grade_var_tscope_prof,
+                gv_term_size_prof       :: grade_var_term_size_prof,
+                gv_debug                :: grade_var_debug,
+                gv_ssdebug              :: grade_var_ssdebug,
+                gv_target_debug         :: grade_var_target_debug,
+                gv_rbmm                 :: grade_var_rbmm,
+                gv_rbmmm_debug          :: grade_var_rbmm_debug,
+                gv_rbmm_prof            :: grade_var_rbmm_prof,
+                gv_merc_file            :: grade_var_merc_file,
+                gv_merc_float           :: grade_var_merc_float
             ).
 
 :- type grade_var_pregen