-
Notifications
You must be signed in to change notification settings - Fork 0
/
ghci
33 lines (29 loc) · 862 Bytes
/
ghci
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
:set -Wall
:set -fdiagnostics-color=always
:set -ferror-spans
:set -fprint-equality-relations
:set -fprint-expanded-synonyms
:set -fprint-explicit-coercions
:set -fprint-explicit-foralls
:set -fprint-explicit-kinds
:set -fprint-explicit-runtime-reps
:set -fprint-potential-instances
:set -fprint-typechecker-elaboration
:set -fprint-unicode-syntax
:set prompt "\ESC[35m\xe777\ESC[0m> "
:set prompt-cont "\ESC[35m|> \ESC[0m"
:set editor emacs
-- Collect type and location information after loading modules
:set +c
-- Enable parsing of multiline commands
:set +m
-- Display the type of each variable bound after a statement is entered at the prompt
:set +t
:seti -XGADTSyntax
:seti -XGeneralizedNewtypeDeriving
:seti -XInstanceSigs
:seti -XLambdaCase
:seti -XPartialTypeSignatures
:seti -XScopedTypeVariables
:seti -XTypeApplications
:seti -XOverloadedStrings