Interesting indeed. Logical too, in my personal view, since otherwise, to merely import a module could have triggered an unwanted, unpredictable (re)compilation of some other file.<br>One must be able to control this, it seems fitting the internal statement "import" doesn't have such an external effect of (re)compilation of other modules, it's definitely not its role nor "right" in my view.<br><br>Le mardi 19 avril 2016, Imants Cekusins <<a href="mailto:imantc@gmail.com">imantc@gmail.com</a>> a écrit :<br>> interesting. I just found this:<br>> <a href="https://downloads.haskell.org/~ghc/7.8.4/docs/html/users_guide/interactive-evaluation.html#ghci-import-decl">https://downloads.haskell.org/~ghc/7.8.4/docs/html/users_guide/interactive-evaluation.html#ghci-import-decl</a><br>> 2.4.5.5. :module and :load<br>> ...<br>> You can add a module to the scope (via :module or import) only if either (a) it is loaded, or (b) it is a module from a package that GHCi knows about. Using :module or import to try bring into scope a non-loaded module may result in the message “module M is not loaded”.<br>><br>>