You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The eval plugin has also learnt two new commands, `:type` and `:kind`:
10
+
11
+
```haskell
12
+
{-# LANGUAGE TypeApplications #-}
13
+
foo::Showa=>a->String
14
+
foo =show
15
+
16
+
-- >>> :type foo @Int
17
+
-- foo @Int :: Int -> String
18
+
19
+
-- >>> :type +v foo @Int
20
+
-- foo @Int :: Show Int => Int -> String
21
+
```
22
+
23
+
```haskell
24
+
-- >>> type N = 1
25
+
-- >>> type M = 40
26
+
-- >>> :kind N + M + 1
27
+
-- N + M + 1 :: Nat
28
+
29
+
-- >>> type N = 1
30
+
-- >>> type M = 40
31
+
-- >>> :kind N + M + 1
32
+
-- N + M + 1 :: Nat
33
+
```
34
+
35
+
There is now also support for GHC 8.10.2, and a new `haskell-language-server --probe-tools` command to help debug what version of each tool HLS is using.
0 commit comments