TFL/sys.sml
changeset 3353 9112a2efb9a3
parent 3302 404fe31fd8d2
child 3391 5e45dd3b64e9
equal deleted inserted replaced
3352:04502e5431fb 3353:9112a2efb9a3
     1 (*  Title:      TFL/mask
     1 (*  Title:      TFL/sys
     2     ID:         $Id$
     2     ID:         $Id$
     3     Author:     Konrad Slind, Cambridge University Computer Laboratory
     3     Author:     Konrad Slind, Cambridge University Computer Laboratory
     4     Copyright   1997  University of Cambridge
     4     Copyright   1997  University of Cambridge
     5 
     5 
     6 Compile the TFL system
     6 Compile the TFL system
     7 *)
     7 *)
     8 
     8 
     9 (* Portability stuff *)
     9 (* Portability stuff *)
    10 nonfix prefix;
    10 nonfix prefix;
    11 use"mask.sig";
       
    12 use"mask.sml";
       
    13 
    11 
    14 (* Establish a base of common and/or helpful functions. *)
    12 (* Establish a base of common and/or helpful functions. *)
    15 use "utils.sig";
    13 use "utils.sig";
    16 
    14 
    17 (* Get the specifications - these are independent of any system *)
    15 (* Get the specifications - these are independent of any system *)