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

Details

Committed
goldfireNov 5 2018, 12:52 PM
Parents
rGHC1a3b9bd0b674: Fix for Trac #15611: Scope errors lie about what modules are imported.
Branches
Unknown
Tags
Unknown