Skip to content

Commit 8e55a3c

Browse files
authored
grammar fix: "a error" -> "an error" (#213)
1 parent b5eff57 commit 8e55a3c

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

text/chapter6.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -363,7 +363,7 @@ Here, we might have annotated this function as `Int -> Int`, or `Number -> Numbe
363363

364364
## Overlapping and Orphan Instances
365365

366-
PureScript has another rule regarding type class instances, called the _overlapping instances rule_. Whenever a type class instance is required at a function call site, PureScript will use the information inferred by the type checker to choose the correct instance. At that time, there should be exactly one appropriate instance for that type. If there are multiple valid instances, then it is unclear which instance to select, and the compiler will issue a error.
366+
PureScript has another rule regarding type class instances, called the _overlapping instances rule_. Whenever a type class instance is required at a function call site, PureScript will use the information inferred by the type checker to choose the correct instance. At that time, there should be exactly one appropriate instance for that type. If there are multiple valid instances, then it is unclear which instance to select, and the compiler will issue an error.
367367

368368
To demonstrate this, we can try creating two conflicting type class instances for an example type. In the following code, we create two overlapping `Show` instances for the type `T`:
369369

0 commit comments

Comments
 (0)