Agda-2.3.2.2: test/fail/TermSplicingLooping.agda

open import Common.Prelude
open import Common.Reflect

module TermSplicingLooping where

mutual
  f : Set -> Set
  f = unquote (def (quote f) [])