on 20b254c help sign in
6 files
../ Canonicalize.hsActually draw a loop for mutually recursive type aliases Docs.hsSwitch Reports to use Docs for pre and post hints Helpers.hsActually draw a loop for mutually recursive type aliases Pattern.hsSwitch Reports to use Docs for pre and post hints Syntax.hsSwitch Reports to use Docs for pre and post hints Type.hsGive hints for mismatches with rigid and super variables