Next: , Previous: Expressions, Up: Top


3 Language-Defined Operators

Language-defined operator indications and operators are described in a file as explained below. The name of that file must be given as the value of the referto parameter of an instantiation of the PreDefOp module:

     $/Type/PreDefOp.gnrc +referto=(FILENAME) :inst

If this instantiation is contained in a .specs file and if the description file (Semantic.d, for example) is contained in the same directory, the instantiation may read:

     $/Type/PreDefOp.gnrc +referto=(Semantic.d) :inst

If the .specs and Semantic.d files are contained in a FunnelWeb specification, the same line can be used.