home *** CD-ROM | disk | FTP | other *** search
/ Usenet 1994 January / usenetsourcesnewsgroupsinfomagicjanuary1994.iso / sources / unix / volume10 / ifp / part01 / fproot / demo / Data < prev    next >
Encoding:
Text File  |  1987-07-05  |  477 b   |  17 lines
  1. (*
  2.  * Currently I/O is almost non-existent in IFP.  One way to skirt this problem
  3.  * when you have a large amount of data to input is to define a constant 
  4.  * function with the appropriate values.
  5.  *
  6.  * The function Data returns a sequence of data values.  We could, for 
  7.  * instance, sort them by composing Data with QuickSort
  8.  *
  9.  * Examples:
  10.  *      0 : Data -> <5 3 88 6 21 0 -7>
  11.  *      0 : Data | QuickSort -> <-7 0 3 5 6 21 88>
  12.  *)
  13.  
  14. DEF Data AS
  15.    #<5 3 88 6 21 0 -7>;
  16.  
  17.