Got an IMPOSSIBLE on an incomplete program when using Agda version 2.7.0.1 . minimal example:
module Repro where
f g : ∀ x → ? ?
Gets me:
Location of the error: __IMPOSSIBLE__, called at src/full/Agda/TypeChecking/MetaVars.hs:476:11 in Agd-2.7.0.1-cd9573e7:Agda.TypeChecking.MetaVars%
RetroSearch is an open source project built by @garambo | Open a GitHub Issue
Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo
HTML:
3.2
| Encoding:
UTF-8
| Version:
0.7.4