sdiehl/write-you-a-haskell
1
1
Fork 0
mirror of https://github.com/sdiehl/write-you-a-haskell.git synced 2024-08-16 15:11:06 +03:00
Code Issues Projects Releases Wiki Activity

chapter5/stlc/Check.hs: make case expression in check function more idiomatic

Browse Source
This commit is contained in:
Christian Sievers 2015-02-13 17:01:57 +01:00
parent c4bf56aa76
commit 8467784d66
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
004_type_systems.md
View File

@ -585,7 +585,7 @@ check expr = case expr of
t2 <- check e2
case t1 of
(TArr a b) | a == t2 -> return b
(TArr a _) -> throwError $ Mismatch t2 a
| otherwise -> throwError $ Mismatch t2 a
ty -> throwError $ NotFunction ty
Var x -> lookupVar x

2
chapter5/stlc/Check.hs
View File

@ -46,7 +46,7 @@ check expr = case expr of
t2 <- check e2
case t1 of
(TArr a b) | a == t2 -> return b
(TArr a _) -> throwError $ Mismatch t2 a
| otherwise -> throwError $ Mismatch t2 a
ty -> throwError $ NotFunction ty
Var x -> lookupVar x