File: FromML90.sml

package info (click to toggle)
polyml 5.2.1-1
  • links: PTS, VCS
  • area: main
  • in suites: squeeze
  • size: 19,692 kB
  • ctags: 17,567
  • sloc: cpp: 37,221; sh: 9,591; asm: 4,120; ansic: 428; makefile: 203; ml: 191; awk: 91; sed: 10
file content (12 lines) | stat: -rw-r--r-- 399 bytes parent folder | download | duplicates (2) 
1
2
3
4
5
6
7
8
9
10
11
12
 
(* Extra declarations needed to bootstrap the old compiler. *)
(* These are declared in General in the standard basis library which
   is opened at the top level. *)
exception Subscript = Array.Subscript
exception Size = Array.Size;
exception Overflow = RunCall.Inner.Overflow;
PolyML.use "mlsource/prelude/RuntimeCalls";
structure Vector =
   struct
   open Vector
   val fromList = vector
   end;