home *** CD-ROM | disk | FTP | other *** search
/ back2roots/padua / padua.7z / padua / lang / gofer223.lha / doc / appx_f < prev    next >
Encoding:
Text File  |  1992-11-10  |  5.2 KB  |  133 lines
  1.  
  2.  
  3. Introduction to Gofer         APPENDIX F: INTERPRETER COMMAND SUMMARY           
  4.  
  5.  
  6. APPENDIX F: INTERPRETER COMMAND SUMMARY
  7.  
  8. Command      Description
  9. -------      -----------
  10. <expr>       Analyse expression for errors, typecheck and evaluate.  If
  11.              the expression has type Dialogue,  execute  as  a  program
  12.              using the I/O facilities as described in section  12.   If
  13.              the expression has type String, evaluate and print  result
  14.              as a lazy list of characters.   In  any  other  case,  the
  15.              standard  prelude  function  show'  is  applied   to   the
  16.              expression and used to print the value of  the  result  in
  17.              the form of a string, as in the previous case.
  18.  
  19. :t <expr>    Analyse expression for errors,  typecheck  and  print  the
  20. :type <expr> translation and inferred type of the term.
  21. :T
  22.  
  23. :q           Exit Gofer interpreter.
  24. :quit
  25. :Q
  26.  
  27. :?           Display summary of interpreter commands.
  28. :h
  29. :H
  30.  
  31. :l f1 .. fn  Removes any previously loaded  files  of  definitions  and
  32.              attempts to load the contents of the files f1 upto fn  one
  33.              after the other.
  34.  
  35. :L           Remove any previously loaded files of  definitions.   Only
  36.              those functions and values defined in the standard prelude
  37.              will still be be available.
  38.  
  39. :load        Equivalent forms of the :l command.
  40. :L
  41.  
  42. :a f1 .. fn  Load the contents of the files f1 upto fn in  addition  to
  43.              any previously loaded files.   If  any  of  the  files  of
  44.              definitions which  have  already  been  loaded  have  been
  45.              modified since they were last  read  then  then  they  are
  46.              automatically reloaded before any of the files f1 upto  fn
  47.              are read.
  48.  
  49.              If successful, a command of  the  form  ":l  f1  ..fn"  is
  50.              equivalent to the sequence of commands:
  51.                                :l
  52.                                :a f1
  53.                                 .
  54.                                 .
  55.                                :a fn
  56.  
  57. :also        Equivalent forms of the :a command.
  58. :A
  59.  
  60. :r           Repeat the last load command,  attempting  to  reload  any
  61.              files which have subsequently been modified.  Since  later
  62.  
  63.  
  64.                                       119
  65.  
  66.  
  67.  
  68.  
  69. Introduction to Gofer         APPENDIX F: INTERPRETER COMMAND SUMMARY           
  70.  
  71.  
  72.              files may depend on the definitions in earlier ones,  once
  73.              one file has been reloaded, all subsequent files will also
  74.              need to be reloaded.
  75.  
  76. :reload      Equivalent forms of the :r command.
  77. :R
  78.  
  79. :e file      Suspend current Gofer session and start an editor  program
  80.              to modify or view the named file.  The Gofer session  will
  81.              be resumed when the editor  program  terminates,  and  any
  82.              script files that  have  been  changed  will  be  reloaded
  83.              automatically.
  84.  
  85.              Note that a separate editor program is required  and  that
  86.              Gofer must be properly installed to use this feature.  The
  87.              default editor is usually vi (Calvin version 2.0 is a good
  88.              substitute for a PC), although this may have been  changed
  89.              when your system was installed.   In  any  case,  you  can
  90.              always substitute an editor of your choice by setting  the
  91.              environment variable EDITOR to the name of your  favourite
  92.              editor program.
  93.  
  94.              There are a number  of  factors  which  will  affect  your
  95.              choice of editor.  On a slow machine, with only a  limited
  96.              amount of memory, you  will  probably  need  to  choose  a
  97.              relatively small editor which  can  be  loaded  reasonably
  98.              quickly and does not require too much memory.  On  a  more
  99.              powerful system, you may find it more  convenient  to  use
  100.              Gofer from a window based environment, running your editor
  101.              in one window with Gofer in another.
  102.  
  103. :e           Using the :e command without specifying a particular  file
  104.              to be edited starts up  an  editor  program  as  described
  105.              above either for the file  of  definitions  most  recently
  106.              loaded into Gofer or, if an error occurred whilst  loading
  107.              a file of definitions, for  the  file  of  definitions  in
  108.              which the error was last detected.
  109.  
  110.              With many editor programs, it is even  possible  to  start
  111.              the editor at the  line  where  the  error  occurred.   As
  112.              before, it is possible to change the default behaviour  of
  113.              Gofer in this case by  setting  the  environment  variable
  114.              EDITLINE to a command string which can be  used  to  start
  115.              the editor program with a given file at  a  specific  line
  116.              number.  The positions in the string  at  which  the  file
  117.              name and line number values should be inserted  should  be
  118.              indicated by the strings "%s" and "%d"  respectively,  and
  119.              may appear in either order.  The default  command  string,
  120.              which is used if EDITLINE is not set is "vi +%d %s".
  121.  
  122. :edit        Equivalent forms of the :e command.
  123. :E
  124.  
  125.  
  126.  
  127.  
  128.  
  129.  
  130.                                       120
  131.  
  132.  
  133.