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 1030, Fri Jan 18 21:45:37 2002 UTC revision 1031, Mon Jan 21 22:15:18 2002 UTC
# Line 120  Line 120 
120            | valty (A.Numeric _) = bug "numeric type not (yet) supported"            | valty (A.Numeric _) = bug "numeric type not (yet) supported"
121            | valty (A.Array (NONE, t)) = valty (A.Pointer t)            | valty (A.Array (NONE, t)) = valty (A.Pointer t)
122            | valty (A.Array (SOME (n, _), t)) =            | valty (A.Array (SOME (n, _), t)) =
123              Spec.ARR { t = valty t, d = Int.fromLarge n, esz = sizeOf t }              let val d = Int.fromLarge n
124                in
125                    if d < 0 then err "negative dimension"
126                    else Spec.ARR { t = valty t, d = d, esz = sizeOf t }
127                end
128            | valty (A.Pointer t) =            | valty (A.Pointer t) =
129              (case getCoreType t of              (case getCoreType t of
130                   A.Void => Spec.VOIDPTR                   A.Void => Spec.VOIDPTR

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