COCA-ML

Warning the current version is 0.2a06 is just an upgrade for new camlp4 features.

The main idea is to check the "subinheritance" relation during class declarations.

Description

This extension introduces seven new syntatic constructions :

• class declarations

  "subinherit c ..."

• prédicates

  	"of"	"instanceof"	"instanceof and subtype"
  Syntax	expr of c	expr instanceof c	expr subinstanceof c
  Typing	bool	bool	bool
  Evaluation	true or false	true or false	true or false

• Types constraints

  	"cast"	"upcast"	"downcast"
  Syntax	cast expr to c2	upcast expr from c1 to c2	downcast expr from c1 to c2
  Typing	c2	c2	c2
  Evaluation	expr value	expr value	expr value

Examples

• test1.ml : different levels of inheritence
• test2.ml : 2 sons from an abstract class
• test3.ml : multiple inheritence

Changes

• version for O'Ccaml 3.06 (9/27/2002)
• version for ocaml 3.04 (1/22/2002)
• new version 0.2a (12/10/2001)
• old version v0-1

Distribution

or cocaml-0.2a04.tar using O'Caml 3.04

or cocaml-0.2a.tar using O'Caml 3.02 and camlp4 3.02