[Agda] nullary copattern matching

[Christian Sattler]

What is the syntax for copattern matching on a record with zero fields? I
could not find anything in the documentation. For pattern matching on a
data type with zero constructors, we have syntax for denoting an impossible
case, but what about the analogous situation for copatterns? Note that C-c
C-c will happily produce invalid code ("missing definition").

Christian
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20180320/f3a36399/attachment.html>