No reproducer for error raised in `telePiPath`
andreasabel opened this issue · comments
The testsuite does not cover this error atm:
agda/src/full/Agda/TypeChecking/Telescope/Path.hs
Lines 44 to 52 in 8c52e3f
Agda is a dependently typed programming language / interactive theorem prover.
andreasabel opened this issue · comments
The testsuite does not cover this error atm:
agda/src/full/Agda/TypeChecking/Telescope/Path.hs
Lines 44 to 52 in 8c52e3f