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/ml-nlffigen/ast-to-spec.sml
ViewVC logotype

Diff of /sml/trunk/src/ml-nlffigen/ast-to-spec.sml

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

revision 835, Wed May 23 18:30:31 2001 UTC revision 836, Fri May 25 19:28:51 2001 UTC
# Line 311  Line 311 
311                | (A.AUTO | A.REGISTER | A.STATIC) => ()                | (A.AUTO | A.REGISTER | A.STATIC) => ()
312    
313          fun declaration (A.TypeDecl { tid, ... }) =          fun declaration (A.TypeDecl { tid, ... }) =
314              ignore (typeref (tid, fn _ => bug "missing type decl info"))              (* Spec.SINT is an arbitrary choice; the value gets
315                 * ignored anyway *)
316                ignore (typeref (tid, fn _ => Spec.SINT))
317            | declaration (A.VarDecl (v, _)) = varDecl v            | declaration (A.VarDecl (v, _)) = varDecl v
318    
319          fun coreExternalDecl (A.ExternalDecl d) = declaration d          fun coreExternalDecl (A.ExternalDecl d) = declaration d

Legend:
Removed from v.835  
changed lines
  Added in v.836

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