SCM Repository
Diff of /sml/trunk/src/cm/depend/build.sml
Parent Directory
|
Revision Log
|
Patch
revision 290, Sat May 22 21:01:25 1999 UTC | revision 291, Mon May 24 09:41:07 1999 UTC | |
---|---|---|
# | Line 205 | Line 205 |
205 | ||
206 | and evalModExp e (SK.Var sp) = lookSymPath e sp | and evalModExp e (SK.Var sp) = lookSymPath e sp |
207 | | evalModExp e (SK.Decl d) = evalDecl e d | | evalModExp e (SK.Decl d) = evalDecl e d |
| evalModExp e (SK.App (sp, l)) = | ||
(app (ignore o evalModExp e) l; lookSymPath e sp) | ||
208 | | evalModExp e (SK.Let (d, m)) = | | evalModExp e (SK.Let (d, m)) = |
209 | evalModExp (DE.LAYER (evalDecl e d, e)) m | evalModExp (DE.LAYER (evalDecl e d, e)) m |
210 | | evalModExp e (SK.Con (m1, m2)) = | | evalModExp e (SK.Ign1 (m1, m2)) = |
211 | (ignore (evalModExp e m1); evalModExp e m2) | (ignore (evalModExp e m1); evalModExp e m2) |
212 | in | in |
213 | evalDecl DE.EMPTY sk | evalDecl DE.EMPTY sk |
|
root@smlnj-gforge.cs.uchicago.edu | ViewVC Help |
Powered by ViewVC 1.0.0 |