/hoogle-test/ref/Bug722/

• ../
• test.txt