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/cm/semant/semant.sml
ViewVC logotype

Diff of /sml/trunk/src/cm/semant/semant.sml

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

revision 317, Fri Jun 4 09:00:10 1999 UTC revision 318, Mon Jun 7 09:32:09 1999 UTC
# Line 25  Line 25 
25    
26      (* getting elements of primitive types (pathnames and symbols) *)      (* getting elements of primitive types (pathnames and symbols) *)
27      val file_native : string * context -> pathname      val file_native : string * context -> pathname
28      val file_standard : string * context -> pathname      val file_standard : GeneralParams.info -> string * context -> pathname
29      val cm_symbol : string -> cm_symbol      val cm_symbol : string -> cm_symbol
30      val ml_structure : string -> ml_symbol      val ml_structure : string -> ml_symbol
31      val ml_signature : string -> ml_symbol      val ml_signature : string -> ml_symbol
# Line 125  Line 125 
125               false)               false)
126    
127      fun file_native (s, d) = AbsPath.native { context = d, spec = s }      fun file_native (s, d) = AbsPath.native { context = d, spec = s }
128      fun file_standard (s, d) = AbsPath.standard { context = d, spec = s }      fun file_standard (gp: GeneralParams.info) (s, d) =
129            AbsPath.standard (#pcmode (#param gp)) { context = d, spec = s }
130      fun cm_symbol s = s      fun cm_symbol s = s
131      val ml_structure = Symbol.strSymbol      val ml_structure = Symbol.strSymbol
132      val ml_signature = Symbol.sigSymbol      val ml_signature = Symbol.sigSymbol

Legend:
Removed from v.317  
changed lines
  Added in v.318

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