idris-lang/Idris-dev — pull request #1599 by markuspf (2014-10-06 15:27:10+00:00)
Title: Fix a bug in idris_bitstring

This was most definitely a typo leading to wrong type information.