Re: P1788 input/output
Vincent Lefèvre replying to my response concerning exactToInterval() etc:
> > This is possible only if the recoverable representation includes type
> > information.
>
> No, in either case, you don't need to record type information.
The "possible only" applied to your suggestion of reporting an error
when recoverableToInterval() was used with the wrong target type.
> (just like when he uses a function, he needs to know the prototype).
In good programming environments the compiler or linker would complain
about a mismatch. Also remember that recoverable representations are
often used externally; this matches the case of separately-compiled
functions, where the responsibility may fall on the linker -- assuming
the compiler and linker tag external names with a type hash or such.
Michel.
---Sent: 2013-07-23 15:29:27 UTC