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

SCM Repository

[smlnj] Diff of /sml/trunk/src/system/smlnj/internal/int-sys.sml
ViewVC logotype

Diff of /sml/trunk/src/system/smlnj/internal/int-sys.sml

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1144, Thu Mar 14 19:53:15 2002 UTC revision 1145, Fri Mar 15 02:30:53 2002 UTC
# Line 42  Line 42 
42    
43      val _ = UseHook.useHook := Backend.Interact.useFile      val _ = UseHook.useHook := Backend.Interact.useFile
44    
45        local
46            (* register the MLRISC controls with the central controls
47             * facility... *)
48            structure C = Controls
49    
50            val m0 = C.noconfig
51            val m = C.registry { name = "MLRISC",
52                                 priority = [10, 3],
53                                 obscurity = 3,
54                                 prefix = "mlrisc-",
55                                 default_suffix = SOME "-default",
56                                 mk_ename = NONE }
57    
58            val counter_r = C.group m0 C.int
59            val int_r =     C.group m C.int
60            val flag_r = C.group m C.bool
61            val real_r = C.group m C.real
62            val string_r = C.group m C.string
63            val stringList_r = C.group m C.stringList
64            val timing_r = C.group m0
65                  { tname = "timing",
66                    fromString = fn _ => (NONE : Control.MLRISC.cpu_time option),
67                    toString = fn _ => "<timing>" }
68        in
69            val _ = app (C.reg counter_r) (!Control.MLRISC.counters)
70            val _ = app (C.reg int_r) (!Control.MLRISC.ints)
71            val _ = app (C.reg flag_r) (!Control.MLRISC.flags)
72            val _ = app (C.reg real_r) (!Control.MLRISC.reals)
73            val _ = app (C.reg string_r) (!Control.MLRISC.strings)
74            val _ = app (C.reg stringList_r) (!Control.MLRISC.stringLists)
75            val _ = app (C.reg timing_r) (!Control.MLRISC.timings)
76        end
77    
78      (* add cleanup code that resets the internal timers and stats      (* add cleanup code that resets the internal timers and stats
79       * when resuming from exportML... *)       * when resuming from exportML... *)

Legend:
Removed from v.1144  
changed lines
  Added in v.1145

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