xref
: /
dports
/
devel
/
hs-hls-install
/
haskell-language-server-1.4.0
/
plugins
/
hls-tactics-plugin
/
test
/
golden
/
AutoThetaEqGADT.expected.hs
Home
History
Annotate
Line#
Scopes#
Navigate#
Raw
Download
current directory
1
{-# LANGUAGE GADTs #-}
2
3
data
Y
a
b
=
a
~
b
=>
Y
4
5
fun3
::
Y
a
b
->
a
->
b
6
fun3
Y
=
id
7
8