0000576: Suggestion: add_new to map

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

Project

Category

View Status

Date Submitted

Last Update

0000576

OCaml

OCaml general

public

2001-10-13 10:17

2008-02-19 15:01

Reporter

administrator

Assigned To

Priority

normal

Severity

feature

Reproducibility

always

Status

acknowledged

Resolution

open

Platform

OS Version

Product Version

Target Version

Fixed in Version

Summary

0000576: Suggestion: add_new to map

Description

same definition as Map.add, except that it will throw an exception if the
key already exists. (I think that this should have been the default
behaviour of add, and the current add should have been called replace)

    let rec add x data = function
        Empty ->
          Node(Empty, x, data, Empty, 1)
      | Node(l, v, d, r, h) as t ->
          let c = Ord.compare x v in
          if c = 0 then
            raise XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
          else if c < 0 then
            bal (add x data l) v d r
          else
            bal l v d (add x data r)

/mattias

Tags

No tags attached.

Attached Files

Relationships

related to

0000340

closed

frisch

Implementer dans Map les memes operations que dans Set

Notes
(0000116) administrator (administrator) 2002-11-13 16:20	Reasonable suggestion. Find good name?

Issue History
Date Modified	Username	Field	Change
2005-11-18 10:13	administrator	New Issue
2008-02-19 15:01	doligez	Relationship added	related to 0000340