EInt needs protocol

Brought to you by: caplet, demoncrat, erights, kpreid, and 3 others

#359 EInt needs protocol

Milestone: Need_for_security

Status: open

Owner: Mark Samuel Miller

Labels: E-to-Java bindings (44)

Priority: 3

Updated: 2007-09-06

Created: 2007-09-06

Creator: Mark Samuel Miller

Private: No

Currently in E-on-Java, the differences between small Integers and BigIntegers are sometimes visible. To repair this, we need to always report the types of these as EInt. However, currently, EInt does not have the protocols currently duplicated between Integer (together with its sugar) and BigInteger (together with its sugar). To repair this, EInt should steal its vtable from one but then compare with the other to ensure they agree.

Discussion

Mark Samuel Miller - 2007-09-06

Logged In: YES
user_id=54168
Originator: YES

Kevin clarifies:

comment is incorrect: the differences have now been hidden!
the sameness bug *is fixed*. the useful-alleged-type is the only problem now

If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

EInt needs protocol

Group

Searches

Help

#359 EInt needs protocol

Discussion