REPL-Option zum expliziten Setzen der Sprachstufe
Heute während des Vortrags habe ich nochmal überlegt, ob eine REPL-Option zum Wechseln der Sprachstufe eventuell sinnvoll sein könnte. Beispielsweise wenn ich interaktiv IO-Kommandos ausprobieren möchte.
Derzeit müsste ich dafür extra ein Modul mit dem Pragma für Level 4 laden.