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/elaborate/elabtype.sml
ViewVC logotype

Diff of /sml/branches/SMLNJ/src/compiler/Semant/elaborate/elabtype.sml

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

revision 142, Mon Sep 7 21:37:09 1998 UTC revision 143, Mon Sep 7 21:46:44 1998 UTC
# Line 235  Line 235 
235                                    path=IP.extend(rpath,name)}                                    path=IP.extend(rpath,name)}
236    
237                      else tyc                      else tyc
238               in {tvs=tvs, name=name,def=def,region=region,tyc=tyc,               in SOME{tvs=tvs, name=name,def=def,region=region,
239                   binddef=binddef,lazyp=lazyp,                       tyc=tyc, binddef=binddef,lazyp=lazyp,
240                   strictName=strictName}                   strictName=strictName}
241              end              end
242              | preprocess region (Db{tyc=name,rhs=Repl _,...}) =
243                 (error region EM.COMPLAIN
244                   ("datatype replication mixed with regular datatypes:" ^ S.name name)
245                   EM.nullErrorBody;
246                  NONE)
247            | preprocess _ (MarkDb(db',region')) = preprocess region' db'            | preprocess _ (MarkDb(db',region')) = preprocess region' db'
248    
249          val dbs = map (preprocess region) datatycs          val dbs = List.mapPartial (preprocess region) datatycs
250          val _ = debugmsg "--elabDATATYPEdec: preprocessing done"          val _ = debugmsg "--elabDATATYPEdec: preprocessing done"
251    
252    
# Line 451  Line 456 
456  end (* structure ElabType *)  end (* structure ElabType *)
457    
458    
 (*  
  * $Log: elabtype.sml,v $  
  * Revision 1.3  1998/05/23 14:10:05  george  
  *   Fixed RCS keyword syntax  
  *  
  *  
  *)  

Legend:
Removed from v.142  
changed lines
  Added in v.143

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