What does LIE stand for?

[Simon Peyton-Jones]

Yep, "Local Instance Environment".  It comes from one of the original
papers about giving a formal description for Haskell's type system (in
TOPLAS, by Cordelia Hall et al).  It's not a very good name.

| -----Original Message-----
| From: glasgow-haskell-users-bounces at haskell.org
[mailto:glasgow-haskell-users-
| bounces at haskell.org] On Behalf Of Sean Seefried
| Sent: 19 August 2004 03:50
| To: GHC Users
| Subject: What does LIE stand for?
| 
| Hi all,
| 
| I've been looking through the source code and the GHC commentary and I
| still can't quite work out what LIE stands for. The Type Checking
| section of the Commentary suggests "LIE (Local Instance
Environment?)".
|   Could someone out there tell me what it does actually stand for?
| 
| Cheers,
| 
| 
| Sean
| 
| _______________________________________________
| Glasgow-haskell-users mailing list
| Glasgow-haskell-users at haskell.org
| http://www.haskell.org/mailman/listinfo/glasgow-haskell-users