T20200AgdaDatatypes.hs-boot\should_compile\simplCore\tests\testsuite - delta/haskell.git - gitlab.haskell.org: ghc/ghc.git

index : delta/haskell.git

gitlab.haskell.org: ghc/ghc.git

summary refs log tree commit diff

path: root/testsuite/tests/simplCore/should_compile/T20200AgdaDatatypes.hs-boot

blob: e3f16e9227959a2afbdb2b1b808829b0c4d01d74 (plain)

module T20200AgdaDatatypes where

import T20200AgdaBase

getConstructorData :: HasConstInfo m => QName -> m Definition