Modula-2 Reloaded

A Modern Typesafe & Literate Programming Notation

Site Menu

Project

Specification

Implementation

Recommendations

Reference

Needs Updating

Work in Progress

Wastebasket

Wiki Manual

edit SideBar

Spec ⋄ CTYPE

CTYPE

Spec.CTYPE History

Hide minor edits - Show changes to output

2010-05-24 12:53 by benjk -
Added lines 1-36:
[@BINDINGS FOR CTYPE; (* C-Type *)

(* Semantic Properties for Complex Number Types *)


(* ADTs must be transparent records,
  structured literals will be used by default *)

TYPE = RECORD;


(* Bindings permitted for C-Type ADTs *)

CONST [TMIN]; (* allow binding to TMIN function *)

CONST [TMAX]; (* allow binding to TMAX function *)

PROCEDURE [:=]; (* allow binding to assignment operator *)

PROCEDURE [::]; (* allow binding to conversion operator *)

PROCEDURE [ABS]; (* allow binding to ABS function *)

PROCEDURE [NEG]; (* allow binding to NEG function *)

PROCEDURE [+]; (* allow binding to plus operator *)

PROCEDURE [-]; (* allow binding to minus operator *)

PROCEDURE [*]; (* allow binding to multiply operator *)

PROCEDURE [/]; (* allow binding to division operator *)

PROCEDURE [=]; (* allow binding to equal operator *)

END CTYPE.@]
Restore