Home My Page Projects Code Snippets Project Openings diderot
Summary Activity Tracker Tasks SCM

SCM Repository

[diderot] Diff of /branches/charisee/src/compiler/basis/basis.sml
ViewVC logotype

Diff of /branches/charisee/src/compiler/basis/basis.sml

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

revision 2489, Mon Oct 21 19:43:32 2013 UTC revision 2490, Mon Oct 21 21:17:25 2013 UTC
# Line 8  Line 8 
8    
9  structure Basis : sig  structure Basis : sig
10    
11      val env : Env.env      val env : unit -> Env.env
12    
13    (* certain operations are restricted to only appear at global scope (i.e., not in an    (* certain operations are restricted to only appear at global scope (i.e., not in an
14     * strand body).  This function returns true for such operations.     * strand body).  This function returns true for such operations.
# Line 81  Line 81 
81          ]          ]
82    
83      (* seed the basis environment *)      (* seed the basis environment *)
84      val env = let      fun env () = let
85            fun insF (x, env) = Env.insertFunc(env, Atom.atom(Var.nameOf x), Env.PrimFun[x])            fun insF (x, env) = Env.insertFunc(env, Atom.atom(Var.nameOf x), Env.PrimFun[x])
86            fun insV (x, env) = Env.insertGlobal(env, Atom.atom(Var.nameOf x), x)            fun insV (x, env) = Env.insertGlobal(env, Atom.atom(Var.nameOf x), x)
87            fun insOvld ((f, fns), env) = Env.insertFunc(env, f, Env.PrimFun fns)            fun insOvld ((f, fns), env) = Env.insertFunc(env, f, Env.PrimFun fns)

Legend:
Removed from v.2489  
changed lines
  Added in v.2490

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