Respect Json flags when no results are found - #478

Respect Json flags when no results are found#478

Arthi-chaud wants to merge 2 commits into

ndmitchell:masterndmitchell/hoogle:masterfrom

Arthi-chaud:fix/json-output-no-resArthi-chaud/hoogle:fix/json-output-no-resCopy head branch name to clipboard