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/ml-nlffi-lib/internals/c-debug.sml
ViewVC logotype

Diff of /sml/trunk/src/ml-nlffi-lib/internals/c-debug.sml

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

revision 1097, Tue Feb 26 16:59:02 2002 UTC revision 1098, Wed Feb 27 17:29:47 2002 UTC
# Line 8  Line 8 
8   *   *
9   * author: Matthias Blume (blume@research.bell-labs.com)   * author: Matthias Blume (blume@research.bell-labs.com)
10   *)   *)
11  structure C_Debug : C_DEBUG = C_Int_Debug  structure C_Debug : C_DEBUG = struct
12        (* first of all, we look mostly like structure C... *)
13        open C
14    
15        (* ... but then, we also check for NULL pointers... *)
16        exception NullPointer
17    
18        (* ... which means that we have to re-implement some things: *)
19        structure Ptr = struct
20            open Ptr
21            val |*! = fn p => if isNull' p then raise NullPointer else |*! p
22            val |*| = fn p => if isNull p then raise NullPointer else |*| p
23        end
24    end

Legend:
Removed from v.1097  
changed lines
  Added in v.1098

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