Fix compilation errors based on idris-php's code.#2

jmitchell wants to merge 1 commit into

idris-lang:masteridris-lang/idris-emptycg:masterfrom

jmitchell:fix-compile-errorsjmitchell/idris-emptycg:fix-compile-errorsCopy head branch name to clipboard