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 /MLRISC/releases/release-110.84/library/undoable-ref.sml
ViewVC logotype

Diff of /MLRISC/releases/release-110.84/library/undoable-ref.sml

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

sml/branches/SMLNJ/src/MLRISC/library/undoable-ref.sml revision 411, Fri Sep 3 00:25:03 1999 UTC sml/trunk/src/MLRISC/library/undoable-ref.sml revision 651, Thu Jun 1 18:34:03 2000 UTC
# Line 12  Line 12 
12     val :=  : 'a uref * 'a -> unit     val :=  : 'a uref * 'a -> unit
13  end  end
14    
15  functor UndoableRefFn (Log : TRANSACTION_LOG) : UNDOABLE_REF =  functor UndoableRef (Log : TRANSACTION_LOG) : UNDOABLE_REF =
16  struct  struct
17    
18     type 'a uref = 'a ref * Log.version ref     type 'a uref = 'a ref * Log.version ref

Legend:
Removed from v.411  
changed lines
  Added in v.651

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