Cách quay lại prelude> trong ghci

Question

Khi tôi :load tập lệnh Haskell vào GHCi, nó thay đổi lời nhắc từ Prelude> thành *Main>. Sau khi hoàn thành tập lệnh này, làm cách nào để quay lại lời nhắc Prelude>? Dường như không có tài liệu nào về vấn đề này.

Answer 1

Thử sử dụng lệnh :m. Nó sẽ dỡ bỏ tất cả các mô-đun.

Viết tắt là :module để đặt bối cảnh hiện tại. Bạn cũng có thể tải các mô-đun tùy ý theo cách này:

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

Answer 2

Thêm vào câu trả lời của @Tikhon Jelvis.

Dường như bạn có thể chọn bỏ mô-đun bằng cú pháp :m -<module>. Như trong:

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

Nguồn: [Haskell] Import/unimport a module into ghci

Answer 3

Bạn có thể

1. Thay đổi thư mục qua :cd /new/directory
2. tải một file/module. Nó gây ra mô-đun trước đó để dỡ bỏ.

Xem định nghĩa của: cd /: tải trong https://downloads.haskell.org/~ghc/6.6/docs/html/users_guide/ghci-commands.html