Fix #15859 by checking, not assuming, an ArgFlag

Authored by goldfire on Nov 5 2018, 10:01 AM.

Description

Fix Trac #15859 by checking, not assuming, an ArgFlag

We thought that visible dependent quantification was impossible
in terms, but Iceland Jack discovered otherwise in Trac #15859. This fixes an
ASSERT failure that arose.

test case: dependent/should_fail/T15859

(cherry picked from commit 72b82343b79365dc74ffafb345dd33499a7fd394)

(cherry picked from commit 5693ddd071033516a1804420a903cb7e3677682b)

Details

Committed
bgamariThu, Nov 22, 4:04 PM
Parents
rGHC64a5044543bd: base: Mention openFile throwing does-not-exist-errors on FIFOs
Branches
Unknown
Tags
Unknown