diff options
| author | Gabriel Kerneis | 2014-02-27 12:55:50 +0000 |
|---|---|---|
| committer | Gabriel Kerneis | 2014-02-27 14:18:26 +0000 |
| commit | 088a7661fbc749f6d899540035c883b14acf337c (patch) | |
| tree | 75092ec56befe277e1a2a6f966ea10ef613e6a8a /src/parser.mly | |
| parent | 3875102240b66c9ee0180cf0733c578d8c0d7447 (diff) | |
Partial fix for to_vec_inc/to_vec_dec
Lem's word library does some dark magic because of its assumption that
words represent signed integers. Therefore, it is unreliable to truncate
words, as well as to use the internal representation. boolListFrombitSeq
seems safe for our purposes, though (provided the bitseq has been
created with an infinite length from a positive integer).
Diffstat (limited to 'src/parser.mly')
0 files changed, 0 insertions, 0 deletions