edwinb/Idris-dev — pull request #318 by david-christiansen (2013-05-23 12:15:55+00:00)
Title: Add primitive type names to name completion

This is necessary because these are treated specially by the parser and are
thus not in the global definition context, from which name completion is
drawn.

Fixes #304.