edwinb/Idris-dev — pull request #306 by david-christiansen (2013-05-09 14:16:28+00:00)
Title: Fix detection of FInt types in executor

This fixes the test026 failure in PR #294