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

Diff of /sml/trunk/src/ml-nlffigen/gen.sml

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

revision 1030, Fri Jan 18 21:45:37 2002 UTC revision 1031, Mon Jan 21 22:15:18 2002 UTC
# Line 258  Line 258 
258            | dim_ty n = Con ("dg" ^ Int.toString (n mod 10),            | dim_ty n = Con ("dg" ^ Int.toString (n mod 10),
259                              [dim_ty (n div 10)])                              [dim_ty (n div 10)])
260    
261            val dim_ty =
262                fn n =>
263                   if n < 0 then raise Fail "negative dimension"
264                   else dim_ty n
265    
266          fun Suobj'rw p sut = Con ("su_obj" ^ p, [sut, Type "rw"])          fun Suobj'rw p sut = Con ("su_obj" ^ p, [sut, Type "rw"])
267          fun Suobj'ro sut = Con ("su_obj'", [sut, Type "ro"])          fun Suobj'ro sut = Con ("su_obj'", [sut, Type "ro"])
268    

Legend:
Removed from v.1030  
changed lines
  Added in v.1031

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