typerec.syn 769 B

1234567891011121314151617181920212223242526272829
  1. \begin{diagram}{Record types}{recordtypes}
  2. \begin{mysyntdiag}
  3. \synt{record\ type} \[ \lit*{packed} \] \lit*{record}
  4. \[ \synt{field\ list} \] \lit*{end}
  5. \end{mysyntdiag}
  6. \begin{mysyntdiag}
  7. \synt{field\ list}
  8. \(
  9. \synt{fixed\ fields} \\
  10. \[ \synt{fixed\ fields} \lit*; \] \synt{variant\ part}
  11. \)
  12. \[ \lit*; \]
  13. \end{mysyntdiag}
  14. \begin{mysyntdiag}
  15. \synt{fixed\ fields}
  16. \<[b] \synt{identifier\ list} \lit*: \synt{type} \\ \lit*; \>
  17. \end{mysyntdiag}
  18. \begin{mysyntdiag}
  19. \synt{variant\ part}
  20. \lit*{case}
  21. \[ \synt{identifier} \lit*: \]
  22. \synt{ordinal\ type\ identifier}
  23. \lit*{of} \<[b] \synt{variant} \\ \lit*; \>
  24. \end{mysyntdiag}
  25. \begin{mysyntdiag}
  26. \synt{variant} \<[b] \synt{constant} \lit*, \>
  27. \lit*: \lit*( \[ \synt{field\ list} \] \lit*)
  28. \end{mysyntdiag}
  29. \end{diagram}