{-# OPTIONS_GHC -Wunused-imports #-}

module Agda.TypeChecking.Pretty.Call where

import Agda.Syntax.Position

import Agda.TypeChecking.Monad.Base

import {-# SOURCE #-} Agda.TypeChecking.Pretty (MonadPretty)

import Agda.Syntax.Common.Pretty

sayWhen :: MonadPretty m => Range -> Maybe (Closure Call) -> m Doc -> m Doc