Comment revenir à prelude> dans ghci

Question

Quand je :load un script en Haskell dans GHCi, il change l'invite de Prelude> a *Main> . Une fois que j'ai terminé avec ce script, comment puis-je revenir au Prelude> prompt ? Il ne semble pas y avoir de documentation à ce sujet.

Answer 1

Essayez d'utiliser le :m commande. Elle devrait décharger tous les modules.

C'est l'abréviation de :module qui définit le contexte actuel. Vous pouvez également charger des modules arbitraires de cette manière :

Prelude> :m Data.List Control.Applicative
Prelude Data.List Control.Applicative> :m
Prelude>

Answer 2

Ajouté à la réponse de @Tikhon Jelvis.

Apparemment, vous pouvez choisir de décharger les modules en utilisant la syntaxe :m -<module> . Comme dans :

Prelude> import Numeric
Prelude Numeric> :m -Numeric
Prelude> :m +Numeric
Prelude Numeric>

Source : [Haskell] Importer/désimporter un module dans ghci

Answer 3

Vous pouvez

1. Changement de répertoire via :cd /new/directory
2. Charger un autre fichier/module. Il provoque le déchargement du module précédent.

Voir la définition de :cd/:load dans https://downloads.haskell.org/~ghc/6.6/docs/html/guide_de_l'utilisateur/commandes_ghci.html