diff options
Diffstat (limited to 'testsuite/tests/simplCore/should_compile/T20200AgdaPretty.hs')
-rw-r--r-- | testsuite/tests/simplCore/should_compile/T20200AgdaPretty.hs | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/testsuite/tests/simplCore/should_compile/T20200AgdaPretty.hs b/testsuite/tests/simplCore/should_compile/T20200AgdaPretty.hs new file mode 100644 index 0000000000..248df375f2 --- /dev/null +++ b/testsuite/tests/simplCore/should_compile/T20200AgdaPretty.hs @@ -0,0 +1,20 @@ +module T20200AgdaPretty where + +import Control.Monad + +import T20200AgdaInternalToAbstract +import T20200AgdaBase + +data Doc + +render :: a +render = undefined + +prettyA :: a -> m Doc +prettyA x = undefined + +class PrettyTCM a where + prettyTCM :: HasConstInfo m => a -> m Doc + +instance PrettyTCM QName where + prettyTCM = prettyA <=< reify |