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/smlfile/skel-cvt.sml
ViewVC logotype

Diff of /sml/trunk/src/cm/smlfile/skel-cvt.sml

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

revision 278, Mon May 17 14:53:49 1999 UTC revision 279, Tue May 18 08:10:36 1999 UTC
# Line 163  Line 163 
163                  VarFctExp (symbolModPath path, fsigexpConst constraint)                  VarFctExp (symbolModPath path, fsigexpConst constraint)
164            | BaseFct { params, body, constraint } =>            | BaseFct { params, body, constraint } =>
165                  BaseFctExp {                  BaseFctExp {
166                              params = map functorParams params,                              params = SeqDecl (map functorParams params),
167                              body = c_strexp body,                              body = c_strexp body,
168                              constraint = sigexpConst constraint                              constraint = sigexpConst constraint
169                             }                             }
# Line 179  Line 179 
179          val c = c_sigexp constraint          val c = c_sigexp constraint
180      in      in
181          case symOpt of          case symOpt of
182              NONE => (NONE,c)              NONE => OpenDecl [c]
183            | SOME sym => (SOME sym, c)            | SOME sym => StrDecl [{ name = sym, def = c, constraint = NONE }]
184      end      end
185    
186      and sigexpConst sec =      and sigexpConst sec =
# Line 198  Line 198 
198                      SS.add (x, head)                      SS.add (x, head)
199                    | f _ = raise Fail "decl/convert/c_sigexp"                    | f _ = raise Fail "decl/convert/c_sigexp"
200              in              in
201                  AugStrExp (c_sigexp se, foldr f SS.empty whspecs)                  LetStrExp (DeclRef (foldr f SS.empty whspecs),
202                               c_sigexp se)
203              end              end
204            | BaseSig specList =>            | BaseSig specList =>
205                  BaseStrExp (SeqDecl (foldr c_spec [] specList))                  BaseStrExp (SeqDecl (foldr c_spec [] specList))
# Line 215  Line 216 
216              VarFsig symbol => VarFctExp (symbolModPath [symbol], NONE)              VarFsig symbol => VarFctExp (symbolModPath [symbol], NONE)
217            | BaseFsig { param, result } =>            | BaseFsig { param, result } =>
218                  BaseFctExp {                  BaseFctExp {
219                              params = map functorParams param,                              params = SeqDecl (map functorParams param),
220                              body = c_sigexp result,                              body = c_sigexp result,
221                              constraint = NONE                              constraint = NONE
222                             }                             }

Legend:
Removed from v.278  
changed lines
  Added in v.279

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