refinement_substitutions.hs\should_compile\typecheck\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/typecheck/should_compile/refinement_substitutions.hs

blob: 345a6c8f8e571d341c87cdb69bcf63f1674f8c07 (plain)

module RefinementSubstitutions where

f :: [Integer] -> Integer
f = _

g :: [Integer] -> Integer
g = _ 0