Consider using numeric-prelude's non-negative numbers instead of Integral.

« bitstream project page

(Almost) all use of the Integral class in this package expect those integers are in fact non-negative, thus we had better express our intention precisely.


Id: 181f9e4cd20d0b10793c95c331089c415d6780f7
Type: task
Creation time: 2011-02-17 15:46 UTC
Creator: PHO <pho@...>
Release: unassigned
Component: bitstream
Status: unstarted

Issue log

2011-02-17 15:46 UTC PHO <pho@...> created