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/compiler/ElabData/basics/env.sml
ViewVC logotype

Diff of /sml/trunk/compiler/ElabData/basics/env.sml

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

revision 902, Wed Aug 15 21:17:05 2001 UTC revision 1393, Fri Sep 26 17:00:32 2003 UTC
# Line 98  Line 98 
98    
99       in Vector.tabulate(Array.length a1, fn i => Array.sub(a1,i))       in Vector.tabulate(Array.length a1, fn i => Array.sub(a1,i))
100      end      end
     handle Div => (ErrorMsg.impossible "IntStrMapV.new raises Div";  
                    raise Div)  
101    
102  end (* structure IntStrMapV *)  end (* structure IntStrMapV *)
103    
# Line 113  Line 111 
111    | SPECIAL of (Symbol.symbol -> 'b) * (unit -> Symbol.symbol list) * 'b env    | SPECIAL of (Symbol.symbol -> 'b) * (unit -> Symbol.symbol list) * 'b env
112           (* for, e.g., debugger *)           (* for, e.g., debugger *)
113    
 exception SpecialEnv  
   (* raised by app when it encounters a SPECIAL env *)  
   
114  val empty = EMPTY  val empty = EMPTY
115    
116  fun look (env,sym as Symbol.SYMBOL(is as (i,s))) =  fun look (env,sym as Symbol.SYMBOL(is as (i,s))) =
# Line 129  Line 124 
124    
125  fun bind (Symbol.SYMBOL(i,s),binding,env) = BIND (i,s,binding,env)  fun bind (Symbol.SYMBOL(i,s),binding,env) = BIND (i,s,binding,env)
126    
 exception NoSymbolList  
   
127  fun special (look', getSyms) =  fun special (look', getSyms) =
128    let val memo_env = ref empty    let val memo_env = ref empty
129        fun lookMem sym =        fun lookMem sym =

Legend:
Removed from v.902  
changed lines
  Added in v.1393

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