Skip to content

Commit 07758d6

Browse files
committed
Add golden files specific to GHC 9.12.2
1 parent fdbc855 commit 07758d6

File tree

3 files changed

+1066
-0
lines changed

3 files changed

+1066
-0
lines changed
Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,6 @@
1+
-- Support for property checking
2+
module TProperty where
3+
4+
-- prop> \(l::[Bool]) -> head l
5+
-- *** Failed! Exception: 'Prelude.head: empty list' (after 1 test):
6+
-- []
Lines changed: 110 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,110 @@
1+
{
2+
"cabalFormattingProvider": "cabal-gild",
3+
"checkParents": "CheckOnSave",
4+
"checkProject": true,
5+
"formattingProvider": "ormolu",
6+
"maxCompletions": 40,
7+
"plugin": {
8+
"alternateNumberFormat": {
9+
"globalOn": true
10+
},
11+
"cabal": {
12+
"codeActionsOn": true,
13+
"completionOn": true,
14+
"diagnosticsOn": true,
15+
"hoverOn": true,
16+
"symbolsOn": true
17+
},
18+
"cabal-fmt": {
19+
"config": {
20+
"path": "cabal-fmt"
21+
}
22+
},
23+
"cabalHaskellIntegration": {
24+
"globalOn": true
25+
},
26+
"callHierarchy": {
27+
"globalOn": true
28+
},
29+
"changeTypeSignature": {
30+
"globalOn": true
31+
},
32+
"class": {
33+
"codeActionsOn": true,
34+
"codeLensOn": true
35+
},
36+
"eval": {
37+
"config": {
38+
"diff": true,
39+
"exception": false
40+
},
41+
"globalOn": true
42+
},
43+
"explicit-fields": {
44+
"codeActionsOn": true,
45+
"inlayHintsOn": true
46+
},
47+
"explicit-fixity": {
48+
"globalOn": true
49+
},
50+
"ghcide-completions": {
51+
"config": {
52+
"autoExtendOn": true,
53+
"snippetsOn": true
54+
},
55+
"globalOn": true
56+
},
57+
"ghcide-hover-and-symbols": {
58+
"hoverOn": true,
59+
"symbolsOn": true
60+
},
61+
"ghcide-type-lenses": {
62+
"config": {
63+
"mode": "always"
64+
},
65+
"globalOn": true
66+
},
67+
"importLens": {
68+
"codeActionsOn": true,
69+
"codeLensOn": true,
70+
"inlayHintsOn": true
71+
},
72+
"moduleName": {
73+
"globalOn": true
74+
},
75+
"overloaded-record-dot": {
76+
"globalOn": true
77+
},
78+
"pragmas-completion": {
79+
"globalOn": true
80+
},
81+
"pragmas-disable": {
82+
"globalOn": true
83+
},
84+
"pragmas-suggest": {
85+
"globalOn": true
86+
},
87+
"qualifyImportedNames": {
88+
"globalOn": true
89+
},
90+
"semanticTokens": {
91+
"config": {
92+
"classMethodToken": "method",
93+
"classToken": "class",
94+
"dataConstructorToken": "enumMember",
95+
"functionToken": "function",
96+
"moduleToken": "namespace",
97+
"operatorToken": "operator",
98+
"patternSynonymToken": "macro",
99+
"recordFieldToken": "property",
100+
"typeConstructorToken": "enum",
101+
"typeFamilyToken": "interface",
102+
"typeSynonymToken": "type",
103+
"typeVariableToken": "typeParameter",
104+
"variableToken": "variable"
105+
},
106+
"globalOn": false
107+
}
108+
},
109+
"sessionLoading": "singleComponent"
110+
}

0 commit comments

Comments
 (0)