0001852: Grammar bug: expressions are definitions - MantisBT

Mantis Bug Tracker

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

ID

Project

Category

View Status

Date Submitted

Last Update

0001852

OCaml

OCaml documentation

public

2003-09-26 09:31

2007-12-12 15:54

Reporter

administrator

Assigned To

Priority

normal

Severity

minor

Reproducibility

always

Status

closed

Resolution

fixed

Platform

OS

OS Version

Product Version

Target Version

Fixed in Version

3.11+dev

Summary

0001852: Grammar bug: expressions are definitions

Description

The OCAML toplevel accepts

module X = struct 3 + 4 end;;

but the grammar at http://caml.inria.fr/ocaml/htmlman/manual019.html [^]
says you can only have definitions inside struct...end, and bare
expressions aren't definitions. I think you should add bare
expressions as definitions to the grammar.

--
Tim Freeman tim@fungible.com
GPG public key fingerprint ECDF 46F8 3B80 BB9E 575D 7180 76DF FE00 34B1 5C78

Tags

No tags attached.

Relationships

Notes
(0002998) administrator (administrator) 2004-06-16 15:56	It is described in the text but not in the grammar. --DD 2004-06-16

(0004388) doligez (manager) 2007-12-12 15:54	This will be fixed in 3.11, but be aware that in the grammar readability primes over faithfulness to the implementation: the implementation might accept more programs than are described in the grammar.

Issue History
Date Modified	Username	Field	Change
2005-11-18 10:14	administrator	New Issue
2005-12-15 15:44	doligez	Category	OCaml general => OCaml documentation
2005-12-15 15:44	doligez	Description Updated
2007-12-12 15:54	doligez	Note Added: 0004388
2007-12-12 15:54	doligez	Status	acknowledged => closed
2007-12-12 15:54	doligez	Resolution	open => fixed
2007-12-12 15:54	doligez	Fixed in Version	=> 3.11+dev

Copyright © 2000 - 2011 MantisBT Group