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/branches/SMLNJ/src/compiler/Semant/statenv/prim.sml
ViewVC logotype

Diff of /sml/branches/SMLNJ/src/compiler/Semant/statenv/prim.sml

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

revision 166, Sat Nov 7 20:11:41 1998 UTC revision 167, Sat Nov 7 20:11:41 1998 UTC
# Line 36  Line 36 
36  in  in
37    
38  fun mkTycElement (name: string, tyc) =  fun mkTycElement (name: string, tyc) =
39       (S.tycSymbol name, M.TYCspec{entVar=ST.special name, spec=tyc, scope=0})       (S.tycSymbol name, M.TYCspec{entVar=ST.special name, spec=tyc, repl=false,
40                                      scope=0})
41    
42  (*  (*
43   * Note: this function only applies to constructors but not exceptions;   * Note: this function only applies to constructors but not exceptions;
# Line 90  Line 91 
91        val allElements = tycElements@conElements        val allElements = tycElements@conElements
92        val allSymbols = map #1 allElements        val allSymbols = map #1 allElements
93    
94        val entities = foldr (fn ((_,M.TYCspec{spec,entVar,scope}),r) =>        val entities = foldr (fn ((_,M.TYCspec{spec,entVar,repl,scope}),r) =>
95                                   EE.bind(entVar,M.TYCent spec,r))                                   EE.bind(entVar,M.TYCent spec,r))
96                            EE.empty tycElements                            EE.empty tycElements
97    
# Line 461  Line 462 
462  val uList =  val uList =
463    let val ev = ST.special "uListVar"    let val ev = ST.special "uListVar"
464        val allElements =        val allElements =
465              [(S.tycSymbol "list", M.TYCspec{spec=BT.ulistTycon,entVar=ev,scope=0}),              [(S.tycSymbol "list", M.TYCspec{spec=BT.ulistTycon,entVar=ev,
466                                                repl=false,scope=0}),
467                mkConElement("nil", BT.unilDcon),                mkConElement("nil", BT.unilDcon),
468                mkConElement("::", BT.uconsDcon)]                mkConElement("::", BT.uconsDcon)]
469        val allSymbols = map #1 allElements        val allSymbols = map #1 allElements
# Line 537  Line 539 
539    
540    
541  (*  (*
542   * $Log$   * $Log: prim.sml,v $
543     * Revision 1.1.1.1  1998/04/08 18:39:36  george
544     * Version 110.5
545     *
546   *)   *)

Legend:
Removed from v.166  
changed lines
  Added in v.167

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