[Agda] Is this a recursive record?

[Apostolis Xekoukoulotakis]

I get an error that the specified record is recursive.
I don't understand why it is.

The code at the moment is full of holes and a bit difficult to read because
it is inside a big mutual block.

https://github.com/xekoukou/AgdaScript/blob/5fa8728c3c03d33c4b249a1c011958db6e0d36ae/AgdaScript2.agda#L50

Removing this line, stops the error from showing up.

https://github.com/xekoukou/AgdaScript/blob/5fa8728c3c03d33c4b249a1c011958db6e0d36ae/AgdaScript2.agda#L80
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20180123/565442d1/attachment.html>