on c4e28d2 help sign in
jibb/tests/type-union-source
16 files
../ direct-source.txtProve source-backed generic union case tags duplicate-params.txtProve source-backed generic union case tags duplicate.txtProve source-backed generic union case tags expected.txtProve source-backed generic union case tags free-source.txtProve source-backed generic union case tags good.txtProve source-backed generic union case tags hidden-ref.txtProve source-backed generic union case tags late-source.txtProve source-backed generic union case tags mixed-source.txtAdd source-backed UI and program prelude nested.txtProve source-backed generic union case tags qualified.txtProve source-backed generic union case tags same.txtProve source-backed generic union case tags shadow-source.txtProve source-backed generic union case tags wide-source.txtProve source-backed generic union case tags wrong.txtProve source-backed generic union case tags zero.txtProve source-backed generic union case tags