Limbo Language Definition Contents

Sample Module

Comments

Identifiers

Keywords

Constants

Operators and Other Separators

Types

Data Types

Top Level

Data Declarations

Constant Declarations

ADT Declarations

Type Declarations

Module Declarations

Declarations with Import

Declarations with Include

Terms

Monadic Expressions

Binary Expressions

General Expressions

Constant Expressions

Expression Statements

Null Statement

Blocks

Conditional Statements

Simple Looping Statements

The for Statement

The case Statement

The alt Statement

The break Statement

The continue Statement

The return Statement

The exit Statement

The spawn Statement

Forward Referencing

Type Equality and Compatibility

A Simple Command Interpreter Module

Infrared Remote Control

Monitors

Buffered Channels