I believe the main problem with the global scope isn't that it's called the global scope (rather than the scope of a let block), but that the scope is never terminated during a REPL session, preventing end-to-end analysis of types.
-- John On Jul 24, 2014, at 7:14 AM, Arnaud Amiel <aam...@gmail.com> wrote: > I believe this would solve my problem > > On Thursday, 24 July 2014 15:02:26 UTC+1, Tobias Knopp wrote: > So, question would be: Is it possible to have an include like command that > puts everthing into its own scope (using let?)