/hoogle-test/ref/Bug825/

• ../
• test.txt