tpie
tpie copied to clipboard
Get rid of TPIE_OS_OFFSET
We currently use TPIE_OS_OFFSET and friends troughout the api. These should be replaced by an appropriate new type.
For instance in progress_indicators the init method thakes a TPIE_OS_OFFSET while it really should take a stream_size_type