/hoogle-test/ref/Bug873/

• ../
• test.txt