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@haskell.org [mailto:glasgow-haskell-users- | bounces@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@haskell.org | http://www.haskell.org/mailman/listinfo/glasgow-haskell-users