testsuite/tests/simplCore/should_compile/T20200AgdaInternalToAbstract.hs


1
2
3
4
5
6
7
8
9
10
11
12
13

module T20200AgdaInternalToAbstract where

import T20200AgdaBase
import {-# SOURCE #-} T20200AgdaDatatypes (getConstructorData)

class Reify i  where
    reify     :: HasConstInfo m => i -> m Definition
    reifyWhen :: HasConstInfo m => i -> m Definition

instance Reify QName where
    reifyWhen = undefined
    reify c = do _ <- getConstructorData c
                 return undefined