blob: fd96697db90e649ec1e3809430ef43d79e93b637 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
{-# LANGUAGE ScopedTypeVariables #-}
module T19978 where
-----------------------------------------
-- Type constructor in terms --
-----------------------------------------
ex1 = Bool
-- to be suggested instead of "Bool" in "ex1":
data T1 = Bowl
bool = Bowl
ex2 = Let -- should suggest Left (imported from Prelude)
-----------------------------------------
-- Type variable in terms --
-----------------------------------------
ex3 :: forall mytv. mytv
ex3 = mytv
-- to be suggested instead of "mytv" in "ex3":
data T3 = Mytv
myvv = Mytv
|
