Skip to content

Commit 1ad6bfe

Browse files
committed
Add error message for error GHC-44432
1 parent 8433ca5 commit 1ad6bfe

File tree

4 files changed

+33
-0
lines changed

4 files changed

+33
-0
lines changed
Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
module MissingBinding where
2+
3+
someBoolean :: Bool
4+
someBoolean = True
Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
module MissingBinding where
2+
3+
someBoolean :: Bool
Lines changed: 18 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,18 @@
1+
---
2+
title: Type signature lacks an accompanying binding
3+
---
4+
5+
If a toplevel type signature is given, then there also needs to be an accompanying binding.
6+
7+
In this example, a type signature was specified for `someBoolean`, but no binding was given.
8+
This error can be fixed by adding a binding which accompanies the type signature.
9+
10+
## Error Message
11+
12+
```
13+
MissingBinding.hs:3:1: error: [GHC-44432]
14+
The type signature for ‘someBoolean’ lacks an accompanying binding
15+
|
16+
3 | someBoolean :: Bool
17+
| ^^^^^^^^^^^
18+
```
Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,8 @@
1+
---
2+
title: Type signature lacks an accompanying binding
3+
summary: A type signature was provided, but no binding was given.
4+
severity: error
5+
introduced: 9.6.1
6+
---
7+
8+
If a toplevel type signature is given, then there also needs to be an accompanying binding.

0 commit comments

Comments
 (0)