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 348, Tue Jun 22 05:43:46 1999 UTC revision 354, Fri Jun 25 08:36:12 1999 UTC
# Line 7  Line 7 
7   *)   *)
8  signature CM_SEMANT = sig  signature CM_SEMANT = sig
9    
10      type context = AbsPath.context      type context = SrcPath.context
11      type pathname = AbsPath.t      type pathname = SrcPath.t
12      type region = GenericVC.SourceMap.region      type region = GenericVC.SourceMap.region
13      type ml_symbol      type ml_symbol
14      type cm_symbol      type cm_symbol
# Line 100  Line 100 
100      structure EM = GenericVC.ErrorMsg      structure EM = GenericVC.ErrorMsg
101      structure GG = GroupGraph      structure GG = GroupGraph
102    
103      type pathname = AbsPath.t      type pathname = SrcPath.t
104      type context = AbsPath.context      type context = SrcPath.context
105      type region = GenericVC.SourceMap.region      type region = GenericVC.SourceMap.region
106      type ml_symbol = Symbol.symbol      type ml_symbol = Symbol.symbol
107      type cm_symbol = string      type cm_symbol = string
# Line 124  Line 124 
124              (error ("expression raises exception: " ^ General.exnMessage exn);              (error ("expression raises exception: " ^ General.exnMessage exn);
125               false)               false)
126    
127      fun file_native (s, d) = AbsPath.native { context = d, spec = s }      fun file_native (s, d) = SrcPath.native { context = d, spec = s }
128      fun file_standard (gp: GeneralParams.info) (s, d) =      fun file_standard (gp: GeneralParams.info) (s, d) =
129          AbsPath.standard (#pcmode (#param gp)) { context = d, spec = s }          SrcPath.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
# Line 144  Line 144 
144    
145      fun sgl2sll subgroups = let      fun sgl2sll subgroups = let
146          fun sameSL (_, GG.GROUP g) (_, GG.GROUP g') =          fun sameSL (_, GG.GROUP g) (_, GG.GROUP g') =
147              AbsPath.compare (#grouppath g, #grouppath g') = EQUAL              SrcPath.compare (#grouppath g, #grouppath g') = EQUAL
148          fun add (x, l) =          fun add (x, l) =
149              if List.exists (sameSL x) l then l else x :: l              if List.exists (sameSL x) l then l else x :: l
150          fun oneSG (x as (_, GG.GROUP { kind, sublibs, ... }), l) =          fun oneSG (x as (_, GG.GROUP { kind, sublibs, ... }), l) =

Legend:
Removed from v.348  
changed lines
  Added in v.354

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