Skip to content

Commit

Permalink
Merge branch 'master' of github.com:jaspervdj/jaspervdj
Browse files Browse the repository at this point in the history
  • Loading branch information
jaspervdj committed Nov 1, 2015
2 parents 14d5ace + c3de6c6 commit 36739f2
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions posts/2015-10-30-tries-scope-checking.lhs
Original file line number Diff line number Diff line change
Expand Up @@ -27,7 +27,7 @@ broadly applicable, so in this blogpost we use on a simple toy language.
> import Prelude hiding (lookup)

This part of a Compiler/Interpreter is concerned with resolving *occurence
names* to *full names*. *Occurence names* are just what the programmer uses in
names* to *full names*. *Occurrence names* are just what the programmer uses in
the source file, and *full names* contain more information.

I think this is an interesting area to explore. The vast majority of articles
Expand All @@ -43,7 +43,7 @@ import qualified Data.HashMap.Strict as HMS
emptyThing = HMS.empty
~~~~~

`HMS.empty` is an *occurence name*. The *full name*, on the other hand, is
`HMS.empty` is an *occurrence name*. The *full name*, on the other hand, is
something like `unordered-containers-0.2.5.1:Data.HashMap.Base.empty`. Let's get
started by representing these types in Haskell:

Expand Down

0 comments on commit 36739f2

Please sign in to comment.