home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #18 / NN_1992_18.iso / spool / comp / lang / forth / 3001 < prev    next >
Encoding:
Internet Message Format  |  1992-08-22  |  3.9 KB

  1. Path: sparky!uunet!gatech!pitt!willett!ForthNet
  2. From: ForthNet@willett.pgh.pa.us (ForthNet articles from GEnie)
  3. Newsgroups: comp.lang.forth
  4. Subject: ANS TC Magnet for ROMability
  5. Message-ID: <3999.UUL1.3#5129@willett.pgh.pa.us>
  6. Date: 22 Aug 92 13:26:58 GMT
  7. Organization: EIEI-U
  8. Lines: 86
  9.  
  10. Category 10,  Topic 22
  11. Message 75        Fri Aug 21, 1992
  12. B.RODRIGUEZ2 [Brad]          at 22:42 EDT
  13.  
  14. (split for Forthnet, part 1 of 2)
  15.  
  16.               ANSI X3J14 FORTH REQUEST FOR CLARIFICATION
  17.                      (X3J14 dpANS-3, March 1992)
  18.  
  19. TITLE:  Can there be ANS Forth cross-compilers?
  20.  
  21. SUMMARY:  The dpANS is currently silent on the subject of cross-
  22.      compilers, and the relevant sections of the document have
  23.      ambiguous interpretations.  This is a request for clarifica-
  24.      tion of the dpANS.
  25.  
  26. DISCUSSION:  Several informal comments by members of the Techni-
  27.      cal Committee, at the 1992 Rochester Forth Conference and on
  28.      the Forthnet, have indicated that the X3J14 effort specifi-
  29.      cally excluded cross-compilers, and that no cross-compiler
  30.      can possibly be an ANS Forth Standard System.
  31.  
  32.      The document itself makes no explicit statement about cross-
  33.      compilers, and the relevant sections are ambiguous or
  34.      contradictory:
  35.  
  36.      Section 1.1.1 Inclusions states:
  37.           "The Standard specifies:
  38.           the forms that a program written in the Forth language
  39.           may take; the rules for interpreting the meaning of a
  40.           program and its data."
  41.  
  42.      Section 1.1.2 Exclusions states:
  43.           "The Standard does not specify:
  44.           the mechanism by which program are transformed for use
  45.           on computing systems."
  46.  
  47.      Section 4.1 ANS Forth Programming System states:
  48.           "A programming language processor conforms to this
  49.           Standard and may be labeled an 'ANS Forth System' if it
  50.           is capable of compiling and executing, in accordance
  51.           with this document, any ANS Forth Program whose
  52.           environmental dependencies are compatible with the
  53.           system's environmental restrictions."  [My emphasis]
  54.  
  55.           "An ANS Forth System implements the entire Core word
  56.           set as defined in this document. ..."
  57.  
  58.      Section 4.2 ANS Forth Program defines:
  59.           "A program conforms to this document and may be labeled
  60.           an 'ANS Forth Program' if it is written using only
  61.           words from the Core word set in ways allowed in this
  62.           standard. ..."
  63.  
  64.      Section 2.0610 defines "program" as:
  65.           "A complete specification of execution to achieve a
  66.           specific function (application task) expressed in Forth
  67.           source code form."
  68.  
  69.      Also, section 5.1 describing the Glossary identifies the "C"
  70.      attribute, indicating that "the word may only be used during
  71.      compilation of a definition."  This implies that any word
  72.      lacking the "C" attribute may be used outside a definition;
  73.      but this is not explicitly stated, and therefore may perhaps
  74.      not be mandated by the dpANS.
  75.  
  76.      Sections 1.1 and 1.2 would appear to state that the dpANS
  77.      does not prohibit cross-compilers.  However, Sections 4.1
  78.      and 4.2 appear to imply that a cross-compiler must be capa-
  79.      ble of executing the compiled code -- which is impossible,
  80.      unless the compiler contains a full working simulation of
  81.      the target system.
  82.  
  83.      It is this confusion and ambiguity which prompts this
  84.      request for clarification.
  85.  
  86.      Please note: I am not asking whether a cross-compiler can
  87.      itself be an ANS Forth Standard Program.  I am asking
  88.      whether it can be an ANS Forth Standard System, i.e., a
  89.      compiler that will accept any Standard Program.
  90.  
  91. -----
  92. This message came from GEnie via willett.  You *cannot* reply to the author
  93. using e-mail.  Please post a follow-up article, or use any instructions
  94. the author may have included (USMail addresses, telephone #, etc.).
  95. Report problems to: dwp@willett.pgh.pa.us
  96.