edwinb/Idris-dev — pull request #173 by raichoo (2013-02-04 17:08:07+00:00)
Title: javascript: check for keywords as identifiers

Fixes a bug that breaks test015 for the javascript backend.