Skip to content

Commit 05ac308

Browse files
Formatting fix
1 parent d2cc815 commit 05ac308

File tree

1 file changed

+3
-3
lines changed

1 file changed

+3
-3
lines changed

pages/docs/manual/v12.0.0/generalized-algebraic-data-types.mdx

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -58,9 +58,9 @@ let invalidTz1 = Daylight(EST)
5858
let invalidTz2 = Standard(EDT)
5959
```
6060

61-
Consequently, we still have to write our redundant catchall cases. We could define daylight savings time and standard time as two _separate_ types, and unify those in our `daylightOrStandard` variant.
62-
That could be a passable solution, but what we would really like to do is implement some kind of subtyping relationship.
63-
We have two _kinds_ of timezone. This is where GADTs are handy:
61+
Consequently, we still have to write our redundant catchall cases. We could define daylight savings time and standard time as two _separate_ types, and unify those in our `daylightOrStandard` variant.
62+
That could be a passable solution, but what we would really like to do is implement some kind of subtyping relationship.
63+
We have two _kinds_ of timezone. This is where GADTs are handy:
6464

6565
```res example
6666
type standard

0 commit comments

Comments
 (0)