mirror of
https://github.com/sdiehl/write-you-a-haskell.git
synced 2024-08-16 23:20:54 +03:00
Merge pull request #91 from tommythorn/master
Spotted a couple of typos
This commit is contained in:
commit
204747f2ff
@ -1348,7 +1348,7 @@ The omega combinator will not pass the occurs check.
|
|||||||
|
|
||||||
```haskell
|
```haskell
|
||||||
Poly> \x -> x x
|
Poly> \x -> x x
|
||||||
Cannot construct the the infinite type: a = a -> b
|
Cannot construct the infinite type: a = a -> b
|
||||||
```
|
```
|
||||||
|
|
||||||
The file ``test.ml`` provides a variety of tests of the little interpreter. For
|
The file ``test.ml`` provides a variety of tests of the little interpreter. For
|
||||||
|
@ -193,7 +193,7 @@ tokens :-
|
|||||||
Happy
|
Happy
|
||||||
-----
|
-----
|
||||||
|
|
||||||
Using Happy and our previosly defind lexer we'll write down the production rules
|
Using Happy and our previously defined lexer we'll write down the production rules
|
||||||
for our simple untyped lambda calculus.
|
for our simple untyped lambda calculus.
|
||||||
|
|
||||||
We start by defining a ``Syntax`` module where we define the AST we'll generate
|
We start by defining a ``Syntax`` module where we define the AST we'll generate
|
||||||
|
@ -62,7 +62,7 @@ instance Show TypeError where
|
|||||||
]
|
]
|
||||||
show (InfiniteType (TV a) la b) =
|
show (InfiniteType (TV a) la b) =
|
||||||
concat [
|
concat [
|
||||||
"Cannot construct the the infinite type: "
|
"Cannot construct the infinite type: "
|
||||||
, a
|
, a
|
||||||
, " = "
|
, " = "
|
||||||
, pptype b
|
, pptype b
|
||||||
|
Loading…
Reference in New Issue
Block a user