xref
: /
dports
/
devel
/
hs-hls-install
/
haskell-language-server-1.4.0
/
plugins
/
hls-tactics-plugin
/
test
/
golden
/
IntroDestructLetBinding.hs
Home
History
Annotate
Line#
Scopes#
Navigate#
Raw
Download
current directory
1
test
::
IO
()
2
test
=
do
3
let
x
::
Bool
->
Int
4
x
=
_
5
pure
()
6