Was ist der richtige Weg: neu laden und ausführen: main als ein einziger Befehl in GHCi?

8

Gibt es eine Möglichkeit, :reload/:r zusammen mit :main als einen einzigen Befehl in GHCi zu verketten?

Das Ziel hier ist es, nicht jedes Mal, wenn ich etwas in meinem anderen Terminal ändere, zu tippen, sondern einfach Enter einzugeben.

    
Jakub Arnold 05.06.2014, 01:30
quelle

1 Antwort

15

:cmd scheint eine Zeichenfolge mit mehreren Zeilen zu akzeptieren. Daher können Sie den folgenden Befehl ausführen.

%Vor%

Sie können auch folgenden Code zu ~/.ghci

hinzufügen %Vor%

Jetzt können Sie :hoge in ghci

ausführen     
ymonad 05.06.2014, 01:56
quelle

Tags und Links