home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #27 / NN_1992_27.iso / spool / comp / lang / modula2 / 1426 < prev    next >
Encoding:
Text File  |  1992-11-21  |  2.6 KB  |  73 lines
  1. Newsgroups: comp.lang.modula2
  2. Path: sparky!uunet!zaphod.mps.ohio-state.edu!rpi!ghost.dsi.unimi.it!univ-lyon1.fr!chx400!bernina!neptune!templ
  3. From: templ@inf.ethz.ch (Josef Templ)
  4. Subject: Re: Oberon vs Modula-2
  5. Message-ID: <1992Nov21.095307.19198@neptune.inf.ethz.ch>
  6. Sender: templ@inf.ethz.ch
  7. Nntp-Posting-Host: lillian-gw
  8. Organization: Dept. Informatik, Swiss Federal Institute of Technology (ETH), Zurich, CH
  9. Date: Sat, 21 Nov 1992 09:53:07 GMT
  10. Lines: 61
  11.  
  12.  
  13. A. Borchert writes:
  14. > Here an example, following program is perfectly legal Oberon text
  15. > but rejected by the Sparc Oberon System from ETH Zurich:
  16. > 
  17. > (* CLASS=CONFORMANCE *)
  18. > MODULE t03;
  19. >    TYPE c = RECORD a, b: INTEGER END;
  20. >    PROCEDURE e;
  21. >       TYPE b = POINTER TO c;
  22. >          c = ARRAY 3 OF CHAR;
  23. >       VAR p: b;
  24. >    BEGIN (* e *)
  25. >       p^[1] := "x";
  26. >    END e;
  27. > END t03.
  28. > The compiler complains at the designator >>p^[1]<< that
  29. > "indexed variable is not an array".
  30.  
  31. Section 4 (Declarations and Scope rules) of the Oberon-2 Report:
  32.   The scope of an object x extends textually from the point of its declaration 
  33.   to the end of the block (module, procedure, or record) to which the 
  34.   declaration belongs and hence to which the object is local.
  35.  
  36. and in the same section:
  37.   A type T of the form POINTER TO T1 (see 6.4) can be declared before
  38.   the scope of T1. In this case, the declaration of T1 must follow in
  39.   the same block to which T is local;
  40.  
  41. I think this is an ambiguity in the language definition.
  42. The forward declaration rule should be explicitely restricted to
  43. the cases where T1 is not visible at the point of the forward declaration.
  44. Anyway, the intention is that the above program is neither legal
  45. Oberon nor legal Oberon-2.
  46.  
  47.  
  48. > MODULE RecAssignment;
  49. >    TYPE T0 = RECORD END;
  50. >         T1 = RECORD (T0) END;
  51. >    VAR t1a, t1b: T1;
  52. >    PROCEDURE AssignIt(VAR ta, tb: T0);
  53. >    BEGIN
  54. >       ta := tb; (* statically the same type and ... *)
  55. >    END AssignIt;
  56. > BEGIN
  57. >    AssignIt(t1a, t1b); (* ... dynamically the same type *)
  58. > END RecAssignment;
  59. > 
  60. > is perfectly legal in Oberon but not in Oberon-2. But, of course,
  61. > this feature was never implemented in ETH compilers (tell me if
  62. > I'm wrong here).
  63.  
  64. Both Oberon and Oberon-2 compilers will compile the above module.
  65. The context condition "Te and Tv are record types and Te is an extension
  66. of Tv and the dynamic type of v is Tv" cannot be fully checked at compile time
  67. but compiles into a runtime check in both Oberon and Oberon-2.
  68. The original Oberon-Report does not mention implicit runtime
  69. checks (c.f. array indices, ...).
  70.  
  71. - Josef Templ
  72. the usual disclaimer applies
  73.