Ticket #8221: compile.log

File compile.log, 50.2 KB (added by maxs, 20 months ago)
Line 
1Glasgow Haskell Compiler, Version 7.7.20130903, stage 1 booted by GHC version 7.6.3
2Using binary package database: /usr/local/ghc-ios/lib/arm-apple-darwin10-ghc-7.7.20130903/package.conf.d/package.cache
3Using binary package database: /Users/maxs/.ghc/arm-ios-7.7.20130903/package.conf.d/package.cache
4package Cabal-1.18.0-f77d4cea4e126952c97920670266b908 is shadowed by package Cabal-1.18.0-aeeba9bf826ee649b431ef7c47b896d5
5package bin-package-db-0.0.0.0-be66b8c90c0a5f2c8a07062cb3b43336 is unusable due to missing or recursive dependencies:
6  Cabal-1.18.0-f77d4cea4e126952c97920670266b908
7hiding package unix-2.6.0.1 to avoid conflict with later version unix-2.7.0.0
8wired-in package ghc-prim mapped to ghc-prim-0.3.1.0-15bdba9fbb71757de83e7e846ca2ba20
9wired-in package integer-simple mapped to integer-simple-0.1.1.0-3f983ebeb5daa77a5baede308e1193cc
10wired-in package base mapped to base-4.7.0.0-1d4059174fe5fd8684ad293e8a9bb194
11wired-in package rts mapped to builtin_rts
12wired-in package template-haskell mapped to template-haskell-2.9.0.0-be75e6d1e077cfba95f63ab72c68744e
13wired-in package dph-seq not found.
14wired-in package dph-par not found.
15Hsc static flags:
16package Cabal-1.18.0-f77d4cea4e126952c97920670266b908 is shadowed by package Cabal-1.18.0-aeeba9bf826ee649b431ef7c47b896d5
17package bin-package-db-0.0.0.0-be66b8c90c0a5f2c8a07062cb3b43336 is unusable due to missing or recursive dependencies:
18  Cabal-1.18.0-f77d4cea4e126952c97920670266b908
19hiding package unix-2.6.0.1 to avoid conflict with later version unix-2.7.0.0
20wired-in package ghc-prim mapped to ghc-prim-0.3.1.0-15bdba9fbb71757de83e7e846ca2ba20
21wired-in package integer-simple mapped to integer-simple-0.1.1.0-3f983ebeb5daa77a5baede308e1193cc
22wired-in package base mapped to base-4.7.0.0-1d4059174fe5fd8684ad293e8a9bb194
23wired-in package rts mapped to builtin_rts
24wired-in package template-haskell mapped to template-haskell-2.9.0.0-be75e6d1e077cfba95f63ab72c68744e
25wired-in package dph-seq not found.
26wired-in package dph-par not found.
27*** Chasing dependencies:
28Chasing modules from: *Type/Type.hs
29Stable obj: []
30Stable BCO: []
31Ready for upsweep
32  [NONREC
33      ModSummary {
34         ms_hs_date = 2013-09-03 23:59:07 UTC
35         ms_mod = main:Type.Type,
36         ms_textual_imps = [import (implicit) Prelude,
37                            import qualified Data.UnionFind.IO as UF, import Data.Data]
38         ms_srcimps = []
39      }]
40*** Deleting temp files:
41Deleting:
42compile: input file Type/Type.hs
43Created temporary directory: /var/folders/4q/5j7w6x5x3c1bc427tcgvg4sc0000gn/T/ghc50904_0
44*** Checking old interface for main:Type.Type:
45[1 of 1] Compiling Type.Type        ( Type/Type.hs, Type/Type.o )
46*** Parser:
47*** Renamer/typechecker:
48rn12
49rn13
50Tc2 (src)
51Tc3
52kcTyClGroup
53  module Type.Type
54  data SrcSpan
55    = Span String | NoSpan String
56    deriving (Eq, Ord, Data, Typeable)
57env2 []
58kcTyClGroup: initial kinds
59  [(SrcSpan, AThing *), (Span, APromotionErr RecDataConPE),
60   (NoSpan, APromotionErr RecDataConPE)]
61env2 []
62env2 []
63tc_lhs_type:
64  String
65  Expected a type
66lk1 String
67lk2 String Type constructor ‛String’
68env2 []
69tc_lhs_type:
70  String
71  Expected a type
72lk1 String
73lk2 String Type constructor ‛String’
74Generalise kind
75  SrcSpan
76  *
77  []
78  *
79kcTyClGroup result [(SrcSpan, *)]
80tcTyAndCl generalized kinds [(SrcSpan, *)]
81tcTyAndCl-x
82  data SrcSpan
83    = Span String | NoSpan String
84    deriving (Eq, Ord, Data, Typeable)
85env2 []
86env2 []
87tcConDecl 1 Span
88env2 []
89tcHsTyVarBndrs {
90  Hs kind vars: []
91  Hs type vars: []
92  Kind vars: []
93  Type vars: []
94env2 []
95tcConArg 1 String
96tc_lhs_type:
97  String
98  Expected a type
99lk1 String
100lk2 String Type constructor ‛String’
101tcConArg 2 String
102tcHsTyVarBndrs }
103  Hs kind vars: []
104  Hs type vars: []
105  Kind vars: []
106  Type vars: []
107tcConDecl 1 NoSpan
108env2 []
109tcHsTyVarBndrs {
110  Hs kind vars: []
111  Hs type vars: []
112  Kind vars: []
113  Type vars: []
114env2 []
115tcConArg 1 String
116tc_lhs_type:
117  String
118  Expected a type
119lk1 String
120lk2 String Type constructor ‛String’
121tcConArg 2 String
122tcHsTyVarBndrs }
123  Hs kind vars: []
124  Hs type vars: []
125  Kind vars: []
126  Type vars: []
127Starting validity check [Type constructor ‛SrcSpan’]
128Validity of 1 SrcSpan
129Validity of 1a [(r6, Type constructor ‛SrcSpan’)]
130Validity of 2 SrcSpan
131Validity of Type constructor ‛SrcSpan’
132  of kind *
133cvtc1 SrcSpan
134cvtc2 SrcSpan
135Validity of data con Span
136checkValidDataCon
137  Span
138  SrcSpan
139checkValidType String -> SrcSpan :: *
140Done validity of data con Span String -> SrcSpan
141Validity of data con NoSpan
142checkValidDataCon
143  NoSpan
144  SrcSpan
145checkValidType String -> SrcSpan :: *
146Done validity of data con NoSpan String -> SrcSpan
147Done validity of Type constructor ‛SrcSpan’
148env2 []
149kcTyClGroup
150  module Type.Type
151  data Located e
152    = L SrcSpan e
153    deriving (Eq, Ord, Data, Typeable)
154env2 []
155kcTyClGroup: initial kinds
156  [(Located, AThing k_aFs -> *), (L, APromotionErr RecDataConPE)]
157env2 []
158env2 []
159tc_lhs_type:
160  SrcSpan
161  Expected a type
162lk1 SrcSpan
163lk2 SrcSpan Type constructor ‛SrcSpan’
164tc_lhs_type:
165  e
166  Expected a type
167lk1 e
168lk2 e AThing k_aFs
169writeMetaTyVar k_aFs := *
170Generalise kind
171  Located
172  k_aFs -> *
173  []
174  * -> *
175kcTyClGroup result [(Located, * -> *)]
176tcTyAndCl generalized kinds [(Located, * -> *)]
177tcTyAndCl-x
178  data Located e
179    = L SrcSpan e
180    deriving (Eq, Ord, Data, Typeable)
181env2 []
182env2 [(e, Type variable ‛e’ = e)]
183tcConDecl 1 L
184env2 []
185tcHsTyVarBndrs {
186  Hs kind vars: []
187  Hs type vars: []
188  Kind vars: []
189  Type vars: []
190env2 []
191tcConArg 1 SrcSpan
192tc_lhs_type:
193  SrcSpan
194  Expected a type
195lk1 SrcSpan
196lk2 SrcSpan Type constructor ‛SrcSpan’
197tcConArg 2 SrcSpan
198tcConArg 1 e
199tc_lhs_type:
200  e
201  Expected a type
202lk1 e
203lk2 e Type variable ‛e’ = e
204tcConArg 2 e
205tcHsTyVarBndrs }
206  Hs kind vars: []
207  Hs type vars: []
208  Kind vars: []
209  Type vars: []
210Starting validity check [Type constructor ‛Located’]
211Validity of 1 Located
212Validity of 1a
213  [(r4, Data constructor ‛Span’), (r5, Data constructor ‛NoSpan’),
214   (r6, Type constructor ‛SrcSpan’), (r8, Type constructor ‛Located’),
215   (rFo, Identifier ‛Type.Type.Span’),
216   (rFq, Identifier ‛Type.Type.NoSpan’)]
217Validity of 2 Located
218Validity of Type constructor ‛Located’
219  of kind * -> *
220cvtc1 Located
221cvtc2 Located
222Validity of data con L
223checkValidDataCon
224  L
225  Located
226checkValidType forall e. SrcSpan -> e -> Located e :: *
227tcGen
228u_tys
229  untch 1
230  SrcSpan -> e_aFx -> Located e_aFx ~ SrcSpan -> e -> Located e
231  a type equality SrcSpan -> e_aFx -> Located e_aFx
232                  ~
233                  SrcSpan -> e -> Located e
234u_tys
235  untch 1
236  SrcSpan ~ SrcSpan
237  a type equality SrcSpan -> e_aFx -> Located e_aFx
238                  ~
239                  SrcSpan -> e -> Located e
240u_tys yields no coercion
241u_tys
242  untch 1
243  e_aFx -> Located e_aFx ~ e -> Located e
244  a type equality SrcSpan -> e_aFx -> Located e_aFx
245                  ~
246                  SrcSpan -> e -> Located e
247u_tys
248  untch 1
249  e_aFx ~ e
250  a type equality SrcSpan -> e_aFx -> Located e_aFx
251                  ~
252                  SrcSpan -> e -> Located e
253uUnfilledVars trying to unify * with *
254writeMetaTyVar e_aFx := e
255u_tys yields no coercion
256u_tys
257  untch 1
258  Located e_aFx ~ Located e
259  a type equality SrcSpan -> e_aFx -> Located e_aFx
260                  ~
261                  SrcSpan -> e -> Located e
262u_tys
263  untch 1
264  e_aFx ~ e
265  a type equality SrcSpan -> e_aFx -> Located e_aFx
266                  ~
267                  SrcSpan -> e -> Located e
268u_tys yields no coercion
269u_tys yields no coercion
270u_tys yields no coercion
271u_tys yields no coercion
272simplifyTop { wanted =  WC {}
273solveWantedsTcMWithEvBinds wanted= WC {}
274solveWanteds { WC {}
275solveFlats {
276solveFlats end } {}
277solveWanteds }
278  unsolved_flats   = {}
279  unsolved_implics = {}
280  current evbinds  = {}
281  current tybinds  =
282  final wc = WC {}
283End simplifyTop }
284reportUnsolved {
285reportUnsolved }
286Done validity of data con L forall e. SrcSpan -> e -> Located e
287Done validity of Type constructor ‛Located’
288env2 []
289Adding instances:
290addFamInsts
291env2 []
292tcDeriving
293tcDeriving False
294env2 []
295lk1 Eq
296lk2 Eq Class ‛Eq’
297writeMetaTyVar k_aFD := * -> Constraint
298tcCheckHsTypeAndGen Eq
299tcCheckHsTypeAndGen Eq
300derivTyData
301  SrcSpan
302  []
303  SrcSpan
304env2 []
305lk1 Ord
306lk2 Ord Class ‛Ord’
307writeMetaTyVar k_aFH := * -> Constraint
308tcCheckHsTypeAndGen Ord
309tcCheckHsTypeAndGen Ord
310derivTyData
311  SrcSpan
312  []
313  SrcSpan
314env2 []
315lk1 Data
316lk2 Data Class ‛Data’
317writeMetaTyVar k_aFL := * -> Constraint
318tcCheckHsTypeAndGen Data
319tcCheckHsTypeAndGen Data
320derivTyData
321  SrcSpan
322  []
323  SrcSpan
324env2 []
325lk1 Typeable
326lk2 Typeable Class ‛Typeable’
327lk4 Typeable :: forall (k :: BOX). k -> Constraint
328writeMetaTyVar k_aFP := k_aFU -> Constraint
329tcCheckHsTypeAndGen Typeable
330tcCheckHsTypeAndGen Typeable k_aFU
331writeMetaTyVar k_aFU := *
332env2 [(e, Type variable ‛e’ = e)]
333lk1 Eq
334lk2 Eq Class ‛Eq’
335writeMetaTyVar k_aFV := * -> Constraint
336tcCheckHsTypeAndGen Eq
337tcCheckHsTypeAndGen Eq
338derivTyData
339  e
340  Located
341  [e]
342  e
343  Located e
344env2 [(e, Type variable ‛e’ = e)]
345lk1 Ord
346lk2 Ord Class ‛Ord’
347writeMetaTyVar k_aFW := * -> Constraint
348tcCheckHsTypeAndGen Ord
349tcCheckHsTypeAndGen Ord
350derivTyData
351  e
352  Located
353  [e]
354  e
355  Located e
356env2 [(e, Type variable ‛e’ = e)]
357lk1 Data
358lk2 Data Class ‛Data’
359writeMetaTyVar k_aFX := * -> Constraint
360tcCheckHsTypeAndGen Data
361tcCheckHsTypeAndGen Data
362derivTyData
363  e
364  Located
365  [e]
366  e
367  Located e
368env2 [(e, Type variable ‛e’ = e)]
369lk1 Typeable
370lk2 Typeable Class ‛Typeable’
371lk4 Typeable :: forall (k :: BOX). k -> Constraint
372writeMetaTyVar k_aFY := k_aFZ -> Constraint
373tcCheckHsTypeAndGen Typeable
374tcCheckHsTypeAndGen Typeable k_aFZ
375writeMetaTyVar k_aFZ := *
376tcDeriving 1
377  [Left (Type/Type.hs:9:15-16 Type.Type.$fEqSrcSpan [] Eq [SrcSpan] = [Eq
378                                                                         String,
379                                                                       Eq String]),
380   Left (Type/Type.hs:9:19-21 Type.Type.$fOrdSrcSpan [] Ord [SrcSpan] = [Eq
381                                                                           SrcSpan,
382                                                                         Ord String, Ord String]),
383   Left (Type/Type.hs:9:24-27 Type.Type.$fDataSrcSpan [] Data [SrcSpan] = [Typeable
384                                                                             * SrcSpan,
385                                                                           Data String,
386                                                                           Data String]),
387   Right (Type/Type.hs:9:30-37 Type.Type.$fTypeableSrcSpan [] Typeable [*,
388                                                                        SrcSpan] = []),
389   Left (Type/Type.hs:12:15-16 Type.Type.$fEqLocated [e] Eq [Located
390                                                               e] = [Eq SrcSpan, Eq e]),
391   Left (Type/Type.hs:12:19-21 Type.Type.$fOrdLocated [e] Ord [Located
392                                                                 e] = [Eq (Located e), Ord SrcSpan,
393                                                                       Ord e]),
394   Left (Type/Type.hs:12:24-27 Type.Type.$fDataLocated [e] Data [Located
395                                                                   e] = [Data e,
396                                                                         Typeable * (Located e),
397                                                                         Data SrcSpan, Data e]),
398   Right (Type/Type.hs:12:30-37 Type.Type.$fTypeableLocated [] Typeable [*
399                                                                         -> *,
400                                                                         Located] = [])]
401inferInstanceContexts
402  (Type/Type.hs:9:15-16 Type.Type.$fEqSrcSpan [] Eq [SrcSpan] = [Eq
403                                                                   String,
404                                                                 Eq String])
405  (Type/Type.hs:9:19-21 Type.Type.$fOrdSrcSpan [] Ord [SrcSpan] = [Eq
406                                                                     SrcSpan,
407                                                                   Ord String, Ord String])
408  (Type/Type.hs:9:24-27 Type.Type.$fDataSrcSpan [] Data [SrcSpan] = [Typeable
409                                                                       * SrcSpan,
410                                                                     Data String, Data String])
411  (Type/Type.hs:12:15-16 Type.Type.$fEqLocated [e] Eq [Located
412                                                         e] = [Eq SrcSpan, Eq e])
413  (Type/Type.hs:12:19-21 Type.Type.$fOrdLocated [e] Ord [Located
414                                                           e] = [Eq (Located e), Ord SrcSpan,
415                                                                 Ord e])
416  (Type/Type.hs:12:24-27 Type.Type.$fDataLocated [e] Data [Located
417                                                             e] = [Data e, Typeable * (Located e),
418                                                                   Data SrcSpan, Data e])
419simplifyDeriv
420  [Eq String, Eq String]
421  [[W] $dEq_aGb :: Eq String (CNonCanonical),
422   [W] $dEq_aGc :: Eq String (CNonCanonical)]
423  deriving (Eq SrcSpan)
424solveWantedsTcMWithEvBinds
425  wanted= WC {wc_flat = [W] $dEq_aGb :: Eq String (CNonCanonical)
426                        [W] $dEq_aGc :: Eq String (CNonCanonical)}
427solveWanteds {
428  WC {wc_flat = [W] $dEq_aGb :: Eq String (CNonCanonical)
429                [W] $dEq_aGc :: Eq String (CNonCanonical)}
430solveFlats {
431Start solver pipeline {
432  work item =  [W] $dEq_aGb :: Eq String (CNonCanonical)
433  inerts    =  Equalities:
434               Type-function equalities:
435               Dictionaries:
436               Irreds:
437               Insolubles = {}
438               Solved dicts 0
439               Solved funeqs 0
440runStage canonicalization {
441  workitem   =  [W] $dEq_aGb :: Eq String (CNonCanonical)
442canonicalize (non-canonical)
443  [W] $dEq_aGb :: Eq String (CNonCanonical)
444canEvNC:cls Eq [String]
445canClass
446  [W] $dEq_aGb :: Eq String Eq [String]
447  Eq String
448  Just [W] $dEq_aGb :: Eq String
449end stage canonicalization }
450runStage spontaneous solve {
451  workitem   =  [W] $dEq_aGb :: Eq String (CDictCan)
452Spont: no tyvar on lhs [W] $dEq_aGb :: Eq String (CDictCan)
453end stage spontaneous solve }
454runStage interact with inerts {
455  workitem   =  [W] $dEq_aGb :: Eq String (CDictCan)
456interactWithInerts workitem =  [W] $dEq_aGb :: Eq String (CDictCan)
457relevant inerts are: {}
458end stage interact with inerts }
459runStage top-level reactions {
460  workitem   =  [W] $dEq_aGb :: Eq String (CDictCan)
461doTopReact [W] $dEq_aGb :: Eq String (CDictCan)
462matchClassInst
463  pred = Eq String
464  inerts= Equalities:
465          Type-function equalities:
466          Dictionaries:
467          Irreds:
468          Insolubles = {}
469          Solved dicts 0
470          Solved funeqs 0
471  untouchables= 0
472matchClass success
473  dict Eq String
474  witness GHC.Classes.$fEq[] forall a. Eq a => Eq [a]
475newWantedEvVar/cache miss [W] $dEq_aGf :: Eq Char
476updSolvedSetTcs: [W] $dEq_aGb :: Eq String
477doTopReact/found non-nullary instance for $dEq_aGb
478setEvBind
479  ev = $dEq_aGb
480  tm  = GHC.Classes.$fEq[] @[Char] [$dEq_aGf]
481end stage top-level reactions }
482End solver pipeline (discharged) }
483  inerts    =  Equalities:
484               Type-function equalities:
485               Dictionaries:
486               Irreds:
487               Insolubles = {}
488               Solved dicts 1
489               Solved funeqs 0
490Start solver pipeline {
491  work item =  [W] $dEq_aGf :: Eq Char (CNonCanonical)
492  inerts    =  Equalities:
493               Type-function equalities:
494               Dictionaries:
495               Irreds:
496               Insolubles = {}
497               Solved dicts 1
498               Solved funeqs 0
499runStage canonicalization {
500  workitem   =  [W] $dEq_aGf :: Eq Char (CNonCanonical)
501canonicalize (non-canonical)
502  [W] $dEq_aGf :: Eq Char (CNonCanonical)
503canEvNC:cls Eq [Char]
504canClass
505  [W] $dEq_aGf :: Eq Char Eq [Char]
506  Eq Char
507  Just [W] $dEq_aGf :: Eq Char
508end stage canonicalization }
509runStage spontaneous solve {
510  workitem   =  [W] $dEq_aGf :: Eq Char (CDictCan)
511Spont: no tyvar on lhs [W] $dEq_aGf :: Eq Char (CDictCan)
512end stage spontaneous solve }
513runStage interact with inerts {
514  workitem   =  [W] $dEq_aGf :: Eq Char (CDictCan)
515interactWithInerts workitem =  [W] $dEq_aGf :: Eq Char (CDictCan)
516relevant inerts are: {}
517end stage interact with inerts }
518runStage top-level reactions {
519  workitem   =  [W] $dEq_aGf :: Eq Char (CDictCan)
520doTopReact [W] $dEq_aGf :: Eq Char (CDictCan)
521matchClassInst
522  pred = Eq Char
523  inerts= Equalities:
524          Type-function equalities:
525          Dictionaries:
526          Irreds:
527          Insolubles = {}
528          Solved dicts 1
529          Solved funeqs 0
530  untouchables= 0
531matchClass success
532  dict Eq Char
533  witness GHC.Classes.$fEqChar Eq Char
534updSolvedSetTcs: [W] $dEq_aGf :: Eq Char
535doTopReact/found nullary instance for $dEq_aGf
536setEvBind
537  ev = $dEq_aGf
538  tm  = GHC.Classes.$fEqChar @[] []
539end stage top-level reactions }
540End solver pipeline (discharged) }
541  inerts    =  Equalities:
542               Type-function equalities:
543               Dictionaries:
544               Irreds:
545               Insolubles = {}
546               Solved dicts 2
547               Solved funeqs 0
548Start solver pipeline {
549  work item =  [W] $dEq_aGc :: Eq String (CNonCanonical)
550  inerts    =  Equalities:
551               Type-function equalities:
552               Dictionaries:
553               Irreds:
554               Insolubles = {}
555               Solved dicts 2
556               Solved funeqs 0
557runStage canonicalization {
558  workitem   =  [W] $dEq_aGc :: Eq String (CNonCanonical)
559canonicalize (non-canonical)
560  [W] $dEq_aGc :: Eq String (CNonCanonical)
561canEvNC:cls Eq [String]
562canClass
563  [W] $dEq_aGc :: Eq String Eq [String]
564  Eq String
565  Just [W] $dEq_aGc :: Eq String
566end stage canonicalization }
567runStage spontaneous solve {
568  workitem   =  [W] $dEq_aGc :: Eq String (CDictCan)
569Spont: no tyvar on lhs [W] $dEq_aGc :: Eq String (CDictCan)
570end stage spontaneous solve }
571runStage interact with inerts {
572  workitem   =  [W] $dEq_aGc :: Eq String (CDictCan)
573interactWithInerts workitem =  [W] $dEq_aGc :: Eq String (CDictCan)
574relevant inerts are: {}
575end stage interact with inerts }
576runStage top-level reactions {
577  workitem   =  [W] $dEq_aGc :: Eq String (CDictCan)
578doTopReact [W] $dEq_aGc :: Eq String (CDictCan)
579setEvBind
580  ev = $dEq_aGc
581  tm  = $dEq_aGb
582end stage top-level reactions }
583End solver pipeline (discharged) }
584  inerts    =  Equalities:
585               Type-function equalities:
586               Dictionaries:
587               Irreds:
588               Insolubles = {}
589               Solved dicts 2
590               Solved funeqs 0
591solveFlats end } {}
592solveWanteds }
593  unsolved_flats   = {}
594  unsolved_implics = {}
595  current evbinds  = {$dEq_aGb
596                        = GHC.Classes.$fEq[] @[Char] [$dEq_aGf],
597                      $dEq_aGc = $dEq_aGb, $dEq_aGf = GHC.Classes.$fEqChar @[] []}
598  current tybinds  =
599  final wc = WC {}
600TcDeriv
601  [Eq String, Eq String]
602  []
603simplifyDeriv
604  [Eq SrcSpan, Ord String, Ord String]
605  [[W] $dEq_aGg :: Eq SrcSpan (CNonCanonical),
606   [W] $dOrd_aGh :: Ord String (CNonCanonical),
607   [W] $dOrd_aGi :: Ord String (CNonCanonical)]
608  deriving (Ord SrcSpan)
609solveWantedsTcMWithEvBinds
610  wanted= WC {wc_flat = [W] $dEq_aGg :: Eq SrcSpan (CNonCanonical)
611                        [W] $dOrd_aGh :: Ord String (CNonCanonical)
612                        [W] $dOrd_aGi :: Ord String (CNonCanonical)}
613solveWanteds {
614  WC {wc_flat = [W] $dEq_aGg :: Eq SrcSpan (CNonCanonical)
615                [W] $dOrd_aGh :: Ord String (CNonCanonical)
616                [W] $dOrd_aGi :: Ord String (CNonCanonical)}
617solveFlats {
618Start solver pipeline {
619  work item =  [W] $dEq_aGg :: Eq SrcSpan (CNonCanonical)
620  inerts    =  Equalities:
621               Type-function equalities:
622               Dictionaries:
623               Irreds:
624               Insolubles = {}
625               Solved dicts 0
626               Solved funeqs 0
627runStage canonicalization {
628  workitem   =  [W] $dEq_aGg :: Eq SrcSpan (CNonCanonical)
629canonicalize (non-canonical)
630  [W] $dEq_aGg :: Eq SrcSpan (CNonCanonical)
631canEvNC:cls Eq [SrcSpan]
632canClass
633  [W] $dEq_aGg :: Eq SrcSpan Eq [SrcSpan]
634  Eq SrcSpan
635  Just [W] $dEq_aGg :: Eq SrcSpan
636end stage canonicalization }
637runStage spontaneous solve {
638  workitem   =  [W] $dEq_aGg :: Eq SrcSpan (CDictCan)
639Spont: no tyvar on lhs [W] $dEq_aGg :: Eq SrcSpan (CDictCan)
640end stage spontaneous solve }
641runStage interact with inerts {
642  workitem   =  [W] $dEq_aGg :: Eq SrcSpan (CDictCan)
643interactWithInerts
644  workitem =  [W] $dEq_aGg :: Eq SrcSpan (CDictCan)
645relevant inerts are: {}
646end stage interact with inerts }
647runStage top-level reactions {
648  workitem   =  [W] $dEq_aGg :: Eq SrcSpan (CDictCan)
649doTopReact [W] $dEq_aGg :: Eq SrcSpan (CDictCan)
650matchClassInst
651  pred = Eq SrcSpan
652  inerts= Equalities:
653          Type-function equalities:
654          Dictionaries:
655          Irreds:
656          Insolubles = {}
657          Solved dicts 0
658          Solved funeqs 0
659  untouchables= 0
660matchClass success
661  dict Eq SrcSpan
662  witness Type.Type.$fEqSrcSpan Eq SrcSpan
663updSolvedSetTcs: [W] $dEq_aGg :: Eq SrcSpan
664doTopReact/found nullary instance for $dEq_aGg
665setEvBind
666  ev = $dEq_aGg
667  tm  = Type.Type.$fEqSrcSpan @[] []
668end stage top-level reactions }
669End solver pipeline (discharged) }
670  inerts    =  Equalities:
671               Type-function equalities:
672               Dictionaries:
673               Irreds:
674               Insolubles = {}
675               Solved dicts 1
676               Solved funeqs 0
677Start solver pipeline {
678  work item =  [W] $dOrd_aGh :: Ord String (CNonCanonical)
679  inerts    =  Equalities:
680               Type-function equalities:
681               Dictionaries:
682               Irreds:
683               Insolubles = {}
684               Solved dicts 1
685               Solved funeqs 0
686runStage canonicalization {
687  workitem   =  [W] $dOrd_aGh :: Ord String (CNonCanonical)
688canonicalize (non-canonical)
689  [W] $dOrd_aGh :: Ord String (CNonCanonical)
690canEvNC:cls Ord [String]
691canClass
692  [W] $dOrd_aGh :: Ord String Ord [String]
693  Ord String
694  Just [W] $dOrd_aGh :: Ord String
695end stage canonicalization }
696runStage spontaneous solve {
697  workitem   =  [W] $dOrd_aGh :: Ord String (CDictCan)
698Spont: no tyvar on lhs [W] $dOrd_aGh :: Ord String (CDictCan)
699end stage spontaneous solve }
700runStage interact with inerts {
701  workitem   =  [W] $dOrd_aGh :: Ord String (CDictCan)
702interactWithInerts
703  workitem =  [W] $dOrd_aGh :: Ord String (CDictCan)
704relevant inerts are: {}
705end stage interact with inerts }
706runStage top-level reactions {
707  workitem   =  [W] $dOrd_aGh :: Ord String (CDictCan)
708doTopReact [W] $dOrd_aGh :: Ord String (CDictCan)
709matchClassInst
710  pred = Ord String
711  inerts= Equalities:
712          Type-function equalities:
713          Dictionaries:
714          Irreds:
715          Insolubles = {}
716          Solved dicts 1
717          Solved funeqs 0
718  untouchables= 0
719matchClass success
720  dict Ord String
721  witness GHC.Classes.$fOrd[] forall a. (Eq [a], Ord a) => Ord [a]
722newWantedEvVar/cache miss [W] $dEq_aGl :: Eq [Char]
723newWantedEvVar/cache miss [W] $dOrd_aGm :: Ord Char
724updSolvedSetTcs: [W] $dOrd_aGh :: Ord String
725doTopReact/found non-nullary instance for $dOrd_aGh
726setEvBind
727  ev = $dOrd_aGh
728  tm  = GHC.Classes.$fOrd[] @[Char] [$dEq_aGl, $dOrd_aGm]
729end stage top-level reactions }
730End solver pipeline (discharged) }
731  inerts    =  Equalities:
732               Type-function equalities:
733               Dictionaries:
734               Irreds:
735               Insolubles = {}
736               Solved dicts 2
737               Solved funeqs 0
738Start solver pipeline {
739  work item =  [W] $dEq_aGl :: Eq [Char] (CNonCanonical)
740  inerts    =  Equalities:
741               Type-function equalities:
742               Dictionaries:
743               Irreds:
744               Insolubles = {}
745               Solved dicts 2
746               Solved funeqs 0
747runStage canonicalization {
748  workitem   =  [W] $dEq_aGl :: Eq [Char] (CNonCanonical)
749canonicalize (non-canonical)
750  [W] $dEq_aGl :: Eq [Char] (CNonCanonical)
751canEvNC:cls Eq [[Char]]
752canClass
753  [W] $dEq_aGl :: Eq [Char] Eq [[Char]]
754  Eq [Char]
755  Just [W] $dEq_aGl :: Eq [Char]
756end stage canonicalization }
757runStage spontaneous solve {
758  workitem   =  [W] $dEq_aGl :: Eq [Char] (CDictCan)
759Spont: no tyvar on lhs [W] $dEq_aGl :: Eq [Char] (CDictCan)
760end stage spontaneous solve }
761runStage interact with inerts {
762  workitem   =  [W] $dEq_aGl :: Eq [Char] (CDictCan)
763interactWithInerts workitem =  [W] $dEq_aGl :: Eq [Char] (CDictCan)
764relevant inerts are: {}
765end stage interact with inerts }
766runStage top-level reactions {
767  workitem   =  [W] $dEq_aGl :: Eq [Char] (CDictCan)
768doTopReact [W] $dEq_aGl :: Eq [Char] (CDictCan)
769matchClassInst
770  pred = Eq [Char]
771  inerts= Equalities:
772          Type-function equalities:
773          Dictionaries:
774          Irreds:
775          Insolubles = {}
776          Solved dicts 2
777          Solved funeqs 0
778  untouchables= 0
779matchClass success
780  dict Eq [Char]
781  witness GHC.Classes.$fEq[] forall a. Eq a => Eq [a]
782newWantedEvVar/cache miss [W] $dEq_aGn :: Eq Char
783updSolvedSetTcs: [W] $dEq_aGl :: Eq [Char]
784doTopReact/found non-nullary instance for $dEq_aGl
785setEvBind
786  ev = $dEq_aGl
787  tm  = GHC.Classes.$fEq[] @[Char] [$dEq_aGn]
788end stage top-level reactions }
789End solver pipeline (discharged) }
790  inerts    =  Equalities:
791               Type-function equalities:
792               Dictionaries:
793               Irreds:
794               Insolubles = {}
795               Solved dicts 3
796               Solved funeqs 0
797Start solver pipeline {
798  work item =  [W] $dEq_aGn :: Eq Char (CNonCanonical)
799  inerts    =  Equalities:
800               Type-function equalities:
801               Dictionaries:
802               Irreds:
803               Insolubles = {}
804               Solved dicts 3
805               Solved funeqs 0
806runStage canonicalization {
807  workitem   =  [W] $dEq_aGn :: Eq Char (CNonCanonical)
808canonicalize (non-canonical)
809  [W] $dEq_aGn :: Eq Char (CNonCanonical)
810canEvNC:cls Eq [Char]
811canClass
812  [W] $dEq_aGn :: Eq Char Eq [Char]
813  Eq Char
814  Just [W] $dEq_aGn :: Eq Char
815end stage canonicalization }
816runStage spontaneous solve {
817  workitem   =  [W] $dEq_aGn :: Eq Char (CDictCan)
818Spont: no tyvar on lhs [W] $dEq_aGn :: Eq Char (CDictCan)
819end stage spontaneous solve }
820runStage interact with inerts {
821  workitem   =  [W] $dEq_aGn :: Eq Char (CDictCan)
822interactWithInerts workitem =  [W] $dEq_aGn :: Eq Char (CDictCan)
823relevant inerts are: {}
824end stage interact with inerts }
825runStage top-level reactions {
826  workitem   =  [W] $dEq_aGn :: Eq Char (CDictCan)
827doTopReact [W] $dEq_aGn :: Eq Char (CDictCan)
828matchClassInst
829  pred = Eq Char
830  inerts= Equalities:
831          Type-function equalities:
832          Dictionaries:
833          Irreds:
834          Insolubles = {}
835          Solved dicts 3
836          Solved funeqs 0
837  untouchables= 0
838matchClass success
839  dict Eq Char
840  witness GHC.Classes.$fEqChar Eq Char
841updSolvedSetTcs: [W] $dEq_aGn :: Eq Char
842doTopReact/found nullary instance for $dEq_aGn
843setEvBind
844  ev = $dEq_aGn
845  tm  = GHC.Classes.$fEqChar @[] []
846end stage top-level reactions }
847End solver pipeline (discharged) }
848  inerts    =  Equalities:
849               Type-function equalities:
850               Dictionaries:
851               Irreds:
852               Insolubles = {}
853               Solved dicts 4
854               Solved funeqs 0
855Start solver pipeline {
856  work item =  [W] $dOrd_aGm :: Ord Char (CNonCanonical)
857  inerts    =  Equalities:
858               Type-function equalities:
859               Dictionaries:
860               Irreds:
861               Insolubles = {}
862               Solved dicts 4
863               Solved funeqs 0
864runStage canonicalization {
865  workitem   =  [W] $dOrd_aGm :: Ord Char (CNonCanonical)
866canonicalize (non-canonical)
867  [W] $dOrd_aGm :: Ord Char (CNonCanonical)
868canEvNC:cls Ord [Char]
869canClass
870  [W] $dOrd_aGm :: Ord Char Ord [Char]
871  Ord Char
872  Just [W] $dOrd_aGm :: Ord Char
873end stage canonicalization }
874runStage spontaneous solve {
875  workitem   =  [W] $dOrd_aGm :: Ord Char (CDictCan)
876Spont: no tyvar on lhs [W] $dOrd_aGm :: Ord Char (CDictCan)
877end stage spontaneous solve }
878runStage interact with inerts {
879  workitem   =  [W] $dOrd_aGm :: Ord Char (CDictCan)
880interactWithInerts workitem =  [W] $dOrd_aGm :: Ord Char (CDictCan)
881relevant inerts are: {}
882end stage interact with inerts }
883runStage top-level reactions {
884  workitem   =  [W] $dOrd_aGm :: Ord Char (CDictCan)
885doTopReact [W] $dOrd_aGm :: Ord Char (CDictCan)
886matchClassInst
887  pred = Ord Char
888  inerts= Equalities:
889          Type-function equalities:
890          Dictionaries:
891          Irreds:
892          Insolubles = {}
893          Solved dicts 4
894          Solved funeqs 0
895  untouchables= 0
896matchClass success
897  dict Ord Char
898  witness GHC.Classes.$fOrdChar Ord Char
899updSolvedSetTcs: [W] $dOrd_aGm :: Ord Char
900doTopReact/found nullary instance for $dOrd_aGm
901setEvBind
902  ev = $dOrd_aGm
903  tm  = GHC.Classes.$fOrdChar @[] []
904end stage top-level reactions }
905End solver pipeline (discharged) }
906  inerts    =  Equalities:
907               Type-function equalities:
908               Dictionaries:
909               Irreds:
910               Insolubles = {}
911               Solved dicts 5
912               Solved funeqs 0
913Start solver pipeline {
914  work item =  [W] $dOrd_aGi :: Ord String (CNonCanonical)
915  inerts    =  Equalities:
916               Type-function equalities:
917               Dictionaries:
918               Irreds:
919               Insolubles = {}
920               Solved dicts 5
921               Solved funeqs 0
922runStage canonicalization {
923  workitem   =  [W] $dOrd_aGi :: Ord String (CNonCanonical)
924canonicalize (non-canonical)
925  [W] $dOrd_aGi :: Ord String (CNonCanonical)
926canEvNC:cls Ord [String]
927canClass
928  [W] $dOrd_aGi :: Ord String Ord [String]
929  Ord String
930  Just [W] $dOrd_aGi :: Ord String
931end stage canonicalization }
932runStage spontaneous solve {
933  workitem   =  [W] $dOrd_aGi :: Ord String (CDictCan)
934Spont: no tyvar on lhs [W] $dOrd_aGi :: Ord String (CDictCan)
935end stage spontaneous solve }
936runStage interact with inerts {
937  workitem   =  [W] $dOrd_aGi :: Ord String (CDictCan)
938interactWithInerts
939  workitem =  [W] $dOrd_aGi :: Ord String (CDictCan)
940relevant inerts are: {}
941end stage interact with inerts }
942runStage top-level reactions {
943  workitem   =  [W] $dOrd_aGi :: Ord String (CDictCan)
944doTopReact [W] $dOrd_aGi :: Ord String (CDictCan)
945setEvBind
946  ev = $dOrd_aGi
947  tm  = $dOrd_aGh
948end stage top-level reactions }
949End solver pipeline (discharged) }
950  inerts    =  Equalities:
951               Type-function equalities:
952               Dictionaries:
953               Irreds:
954               Insolubles = {}
955               Solved dicts 5
956               Solved funeqs 0
957solveFlats end } {}
958solveWanteds }
959  unsolved_flats   = {}
960  unsolved_implics = {}
961  current evbinds  = {$dEq_aGg = Type.Type.$fEqSrcSpan @[] [],
962                      $dOrd_aGh = GHC.Classes.$fOrd[] @[Char] [$dEq_aGl, $dOrd_aGm],
963                      $dOrd_aGi = $dOrd_aGh,
964                      $dEq_aGl = GHC.Classes.$fEq[] @[Char] [$dEq_aGn],
965                      $dOrd_aGm = GHC.Classes.$fOrdChar @[] [],
966                      $dEq_aGn = GHC.Classes.$fEqChar @[] []}
967  current tybinds  =
968  final wc = WC {}
969TcDeriv
970  [Eq SrcSpan, Ord String, Ord String]
971  []
972simplifyDeriv
973  [Typeable * SrcSpan, Data String, Data String]
974  [[W] $dTypeable_aGo :: Typeable * SrcSpan (CNonCanonical),
975   [W] $dData_aGp :: Data String (CNonCanonical),
976   [W] $dData_aGq :: Data String (CNonCanonical)]
977  deriving (Data SrcSpan)
978solveWantedsTcMWithEvBinds
979  wanted= WC {wc_flat = [W] $dTypeable_aGo :: Typeable
980                                                * SrcSpan (CNonCanonical)
981                        [W] $dData_aGp :: Data String (CNonCanonical)
982                        [W] $dData_aGq :: Data String (CNonCanonical)}
983solveWanteds {
984  WC {wc_flat = [W] $dTypeable_aGo :: Typeable
985                                        * SrcSpan (CNonCanonical)
986                [W] $dData_aGp :: Data String (CNonCanonical)
987                [W] $dData_aGq :: Data String (CNonCanonical)}
988solveFlats {
989Start solver pipeline {
990  work item =  [W] $dTypeable_aGo :: Typeable
991                                       * SrcSpan (CNonCanonical)
992  inerts    =  Equalities:
993               Type-function equalities:
994               Dictionaries:
995               Irreds:
996               Insolubles = {}
997               Solved dicts 0
998               Solved funeqs 0
999runStage canonicalization {
1000  workitem   =  [W] $dTypeable_aGo :: Typeable
1001                                        * SrcSpan (CNonCanonical)
1002canonicalize (non-canonical)
1003  [W] $dTypeable_aGo :: Typeable * SrcSpan (CNonCanonical)
1004canEvNC:cls Typeable [*, SrcSpan]
1005canClass
1006  [W] $dTypeable_aGo :: Typeable * SrcSpan Typeable [*, SrcSpan]
1007  Typeable * SrcSpan
1008  Just [W] $dTypeable_aGo :: Typeable * SrcSpan
1009end stage canonicalization }
1010runStage spontaneous solve {
1011  workitem   =  [W] $dTypeable_aGo :: Typeable * SrcSpan (CDictCan)
1012Spont: no tyvar on lhs
1013  [W] $dTypeable_aGo :: Typeable * SrcSpan (CDictCan)
1014end stage spontaneous solve }
1015runStage interact with inerts {
1016  workitem   =  [W] $dTypeable_aGo :: Typeable * SrcSpan (CDictCan)
1017interactWithInerts
1018  workitem =  [W] $dTypeable_aGo :: Typeable * SrcSpan (CDictCan)
1019relevant inerts are: {}
1020end stage interact with inerts }
1021runStage top-level reactions {
1022  workitem   =  [W] $dTypeable_aGo :: Typeable * SrcSpan (CDictCan)
1023doTopReact [W] $dTypeable_aGo :: Typeable * SrcSpan (CDictCan)
1024matchClassInst
1025  pred = Typeable * SrcSpan
1026  inerts= Equalities:
1027          Type-function equalities:
1028          Dictionaries:
1029          Irreds:
1030          Insolubles = {}
1031          Solved dicts 0
1032          Solved funeqs 0
1033  untouchables= 0
1034matchClass success
1035  dict Typeable * SrcSpan
1036  witness Type.Type.$fTypeableSrcSpan Typeable * SrcSpan
1037updSolvedSetTcs: [W] $dTypeable_aGo :: Typeable * SrcSpan
1038doTopReact/found nullary instance for $dTypeable_aGo
1039setEvBind
1040  ev = $dTypeable_aGo
1041  tm  = Type.Type.$fTypeableSrcSpan @[] []
1042end stage top-level reactions }
1043End solver pipeline (discharged) }
1044  inerts    =  Equalities:
1045               Type-function equalities:
1046               Dictionaries:
1047               Irreds:
1048               Insolubles = {}
1049               Solved dicts 1
1050               Solved funeqs 0
1051Start solver pipeline {
1052  work item =  [W] $dData_aGp :: Data String (CNonCanonical)
1053  inerts    =  Equalities:
1054               Type-function equalities:
1055               Dictionaries:
1056               Irreds:
1057               Insolubles = {}
1058               Solved dicts 1
1059               Solved funeqs 0
1060runStage canonicalization {
1061  workitem   =  [W] $dData_aGp :: Data String (CNonCanonical)
1062canonicalize (non-canonical)
1063  [W] $dData_aGp :: Data String (CNonCanonical)
1064canEvNC:cls Data [String]
1065canClass
1066  [W] $dData_aGp :: Data String Data [String]
1067  Data String
1068  Just [W] $dData_aGp :: Data String
1069end stage canonicalization }
1070runStage spontaneous solve {
1071  workitem   =  [W] $dData_aGp :: Data String (CDictCan)
1072Spont: no tyvar on lhs [W] $dData_aGp :: Data String (CDictCan)
1073end stage spontaneous solve }
1074runStage interact with inerts {
1075  workitem   =  [W] $dData_aGp :: Data String (CDictCan)
1076interactWithInerts
1077  workitem =  [W] $dData_aGp :: Data String (CDictCan)
1078relevant inerts are: {}
1079end stage interact with inerts }
1080runStage top-level reactions {
1081  workitem   =  [W] $dData_aGp :: Data String (CDictCan)
1082doTopReact [W] $dData_aGp :: Data String (CDictCan)
1083matchClassInst
1084  pred = Data String
1085  inerts= Equalities:
1086          Type-function equalities:
1087          Dictionaries:
1088          Irreds:
1089          Insolubles = {}
1090          Solved dicts 1
1091          Solved funeqs 0
1092  untouchables= 0
1093matchClass success
1094  dict Data String
1095  witness Data.Data.$fData[] forall a.
1096                             (Typeable * [a], Data a) =>
1097                             Data [a]
1098newWantedEvVar/cache miss [W] $dTypeable_aGx :: Typeable * [Char]
1099newWantedEvVar/cache miss [W] $dData_aGy :: Data Char
1100updSolvedSetTcs: [W] $dData_aGp :: Data String
1101doTopReact/found non-nullary instance for $dData_aGp
1102setEvBind
1103  ev = $dData_aGp
1104  tm  = Data.Data.$fData[] @[Char] [$dTypeable_aGx, $dData_aGy]
1105end stage top-level reactions }
1106End solver pipeline (discharged) }
1107  inerts    =  Equalities:
1108               Type-function equalities:
1109               Dictionaries:
1110               Irreds:
1111               Insolubles = {}
1112               Solved dicts 2
1113               Solved funeqs 0
1114Start solver pipeline {
1115  work item =  [W] $dTypeable_aGx :: Typeable
1116                                       * [Char] (CNonCanonical)
1117  inerts    =  Equalities:
1118               Type-function equalities:
1119               Dictionaries:
1120               Irreds:
1121               Insolubles = {}
1122               Solved dicts 2
1123               Solved funeqs 0
1124runStage canonicalization {
1125  workitem   =  [W] $dTypeable_aGx :: Typeable
1126                                        * [Char] (CNonCanonical)
1127canonicalize (non-canonical)
1128  [W] $dTypeable_aGx :: Typeable * [Char] (CNonCanonical)
1129canEvNC:cls Typeable [*, [Char]]
1130canClass
1131  [W] $dTypeable_aGx :: Typeable * [Char] Typeable [*, [Char]]
1132  Typeable * [Char]
1133  Just [W] $dTypeable_aGx :: Typeable * [Char]
1134end stage canonicalization }
1135runStage spontaneous solve {
1136  workitem   =  [W] $dTypeable_aGx :: Typeable * [Char] (CDictCan)
1137Spont: no tyvar on lhs
1138  [W] $dTypeable_aGx :: Typeable * [Char] (CDictCan)
1139end stage spontaneous solve }
1140runStage interact with inerts {
1141  workitem   =  [W] $dTypeable_aGx :: Typeable * [Char] (CDictCan)
1142interactWithInerts
1143  workitem =  [W] $dTypeable_aGx :: Typeable * [Char] (CDictCan)
1144relevant inerts are: {}
1145end stage interact with inerts }
1146runStage top-level reactions {
1147  workitem   =  [W] $dTypeable_aGx :: Typeable * [Char] (CDictCan)
1148doTopReact [W] $dTypeable_aGx :: Typeable * [Char] (CDictCan)
1149matchClassInst
1150  pred = Typeable * [Char]
1151  inerts= Equalities:
1152          Type-function equalities:
1153          Dictionaries:
1154          Irreds:
1155          Insolubles = {}
1156          Solved dicts 2
1157          Solved funeqs 0
1158  untouchables= 0
1159matchClass success
1160  dict Typeable * [Char]
1161  witness Data.Typeable.Internal.$fTypeableks forall (k :: BOX)
1162                                                     (k1 :: BOX)
1163                                                     (s :: k1 -> k)
1164                                                     (a :: k1).
1165                                              (Typeable (k1 -> k) s, Typeable k1 a) =>
1166                                              Typeable k (s a)
1167newWantedEvVar/cache miss
1168  [W] $dTypeable_aGz :: Typeable (* -> *) []
1169newWantedEvVar/cache miss [W] $dTypeable_aGA :: Typeable * Char
1170updSolvedSetTcs: [W] $dTypeable_aGx :: Typeable * [Char]
1171doTopReact/found non-nullary instance for $dTypeable_aGx
1172setEvBind
1173  ev = $dTypeable_aGx
1174  tm  = Data.Typeable.Internal.$fTypeableks @[*, *, [], Char]
1175                                            [$dTypeable_aGz, $dTypeable_aGA]
1176end stage top-level reactions }
1177End solver pipeline (discharged) }
1178  inerts    =  Equalities:
1179               Type-function equalities:
1180               Dictionaries:
1181               Irreds:
1182               Insolubles = {}
1183               Solved dicts 3
1184               Solved funeqs 0
1185Start solver pipeline {
1186  work item =  [W] $dTypeable_aGz :: Typeable
1187                                       (* -> *) [] (CNonCanonical)
1188  inerts    =  Equalities:
1189               Type-function equalities:
1190               Dictionaries:
1191               Irreds:
1192               Insolubles = {}
1193               Solved dicts 3
1194               Solved funeqs 0
1195runStage canonicalization {
1196  workitem   =  [W] $dTypeable_aGz :: Typeable
1197                                        (* -> *) [] (CNonCanonical)
1198canonicalize (non-canonical)
1199  [W] $dTypeable_aGz :: Typeable (* -> *) [] (CNonCanonical)
1200canEvNC:cls Typeable [* -> *, []]
1201canClass
1202  [W] $dTypeable_aGz :: Typeable (* -> *) [] Typeable [* -> *, []]
1203  Typeable (* -> *) []
1204  Just [W] $dTypeable_aGz :: Typeable (* -> *) []
1205end stage canonicalization }
1206runStage spontaneous solve {
1207  workitem   =  [W] $dTypeable_aGz :: Typeable (* -> *) [] (CDictCan)
1208Spont: no tyvar on lhs
1209  [W] $dTypeable_aGz :: Typeable (* -> *) [] (CDictCan)
1210end stage spontaneous solve }
1211runStage interact with inerts {
1212  workitem   =  [W] $dTypeable_aGz :: Typeable (* -> *) [] (CDictCan)
1213interactWithInerts
1214  workitem =  [W] $dTypeable_aGz :: Typeable (* -> *) [] (CDictCan)
1215relevant inerts are: {}
1216end stage interact with inerts }
1217runStage top-level reactions {
1218  workitem   =  [W] $dTypeable_aGz :: Typeable (* -> *) [] (CDictCan)
1219doTopReact [W] $dTypeable_aGz :: Typeable (* -> *) [] (CDictCan)
1220matchClassInst
1221  pred = Typeable (* -> *) []
1222  inerts= Equalities:
1223          Type-function equalities:
1224          Dictionaries:
1225          Irreds:
1226          Insolubles = {}
1227          Solved dicts 3
1228          Solved funeqs 0
1229  untouchables= 0
1230matchClass success
1231  dict Typeable (* -> *) []
1232  witness Data.Typeable.Internal.$fTypeable[] Typeable (* -> *) []
1233updSolvedSetTcs: [W] $dTypeable_aGz :: Typeable (* -> *) []
1234doTopReact/found nullary instance for $dTypeable_aGz
1235setEvBind
1236  ev = $dTypeable_aGz
1237  tm  = Data.Typeable.Internal.$fTypeable[] @[] []
1238end stage top-level reactions }
1239End solver pipeline (discharged) }
1240  inerts    =  Equalities:
1241               Type-function equalities:
1242               Dictionaries:
1243               Irreds:
1244               Insolubles = {}
1245               Solved dicts 4
1246               Solved funeqs 0
1247Start solver pipeline {
1248  work item =  [W] $dTypeable_aGA :: Typeable * Char (CNonCanonical)
1249  inerts    =  Equalities:
1250               Type-function equalities:
1251               Dictionaries:
1252               Irreds:
1253               Insolubles = {}
1254               Solved dicts 4
1255               Solved funeqs 0
1256runStage canonicalization {
1257  workitem   =  [W] $dTypeable_aGA :: Typeable * Char (CNonCanonical)
1258canonicalize (non-canonical)
1259  [W] $dTypeable_aGA :: Typeable * Char (CNonCanonical)
1260canEvNC:cls Typeable [*, Char]
1261canClass
1262  [W] $dTypeable_aGA :: Typeable * Char Typeable [*, Char]
1263  Typeable * Char
1264  Just [W] $dTypeable_aGA :: Typeable * Char
1265end stage canonicalization }
1266runStage spontaneous solve {
1267  workitem   =  [W] $dTypeable_aGA :: Typeable * Char (CDictCan)
1268Spont: no tyvar on lhs
1269  [W] $dTypeable_aGA :: Typeable * Char (CDictCan)
1270end stage spontaneous solve }
1271runStage interact with inerts {
1272  workitem   =  [W] $dTypeable_aGA :: Typeable * Char (CDictCan)
1273interactWithInerts
1274  workitem =  [W] $dTypeable_aGA :: Typeable * Char (CDictCan)
1275relevant inerts are: {}
1276end stage interact with inerts }
1277runStage top-level reactions {
1278  workitem   =  [W] $dTypeable_aGA :: Typeable * Char (CDictCan)
1279doTopReact [W] $dTypeable_aGA :: Typeable * Char (CDictCan)
1280matchClassInst
1281  pred = Typeable * Char
1282  inerts= Equalities:
1283          Type-function equalities:
1284          Dictionaries:
1285          Irreds:
1286          Insolubles = {}
1287          Solved dicts 4
1288          Solved funeqs 0
1289  untouchables= 0
1290matchClass success
1291  dict Typeable * Char
1292  witness Data.Typeable.Internal.$fTypeableChar Typeable * Char
1293updSolvedSetTcs: [W] $dTypeable_aGA :: Typeable * Char
1294doTopReact/found nullary instance for $dTypeable_aGA
1295setEvBind
1296  ev = $dTypeable_aGA
1297  tm  = Data.Typeable.Internal.$fTypeableChar @[] []
1298end stage top-level reactions }
1299End solver pipeline (discharged) }
1300  inerts    =  Equalities:
1301               Type-function equalities:
1302               Dictionaries:
1303               Irreds:
1304               Insolubles = {}
1305               Solved dicts 5
1306               Solved funeqs 0
1307Start solver pipeline {
1308  work item =  [W] $dData_aGy :: Data Char (CNonCanonical)
1309  inerts    =  Equalities:
1310               Type-function equalities:
1311               Dictionaries:
1312               Irreds:
1313               Insolubles = {}
1314               Solved dicts 5
1315               Solved funeqs 0
1316runStage canonicalization {
1317  workitem   =  [W] $dData_aGy :: Data Char (CNonCanonical)
1318canonicalize (non-canonical)
1319  [W] $dData_aGy :: Data Char (CNonCanonical)
1320canEvNC:cls Data [Char]
1321canClass
1322  [W] $dData_aGy :: Data Char Data [Char]
1323  Data Char
1324  Just [W] $dData_aGy :: Data Char
1325end stage canonicalization }
1326runStage spontaneous solve {
1327  workitem   =  [W] $dData_aGy :: Data Char (CDictCan)
1328Spont: no tyvar on lhs [W] $dData_aGy :: Data Char (CDictCan)
1329end stage spontaneous solve }
1330runStage interact with inerts {
1331  workitem   =  [W] $dData_aGy :: Data Char (CDictCan)
1332interactWithInerts
1333  workitem =  [W] $dData_aGy :: Data Char (CDictCan)
1334relevant inerts are: {}
1335end stage interact with inerts }
1336runStage top-level reactions {
1337  workitem   =  [W] $dData_aGy :: Data Char (CDictCan)
1338doTopReact [W] $dData_aGy :: Data Char (CDictCan)
1339matchClassInst
1340  pred = Data Char
1341  inerts= Equalities:
1342          Type-function equalities:
1343          Dictionaries:
1344          Irreds:
1345          Insolubles = {}
1346          Solved dicts 5
1347          Solved funeqs 0
1348  untouchables= 0
1349matchClass success
1350  dict Data Char
1351  witness Data.Data.$fDataChar Data Char
1352updSolvedSetTcs: [W] $dData_aGy :: Data Char
1353doTopReact/found nullary instance for $dData_aGy
1354setEvBind
1355  ev = $dData_aGy
1356  tm  = Data.Data.$fDataChar @[] []
1357end stage top-level reactions }
1358End solver pipeline (discharged) }
1359  inerts    =  Equalities:
1360               Type-function equalities:
1361               Dictionaries:
1362               Irreds:
1363               Insolubles = {}
1364               Solved dicts 6
1365               Solved funeqs 0
1366Start solver pipeline {
1367  work item =  [W] $dData_aGq :: Data String (CNonCanonical)
1368  inerts    =  Equalities:
1369               Type-function equalities:
1370               Dictionaries:
1371               Irreds:
1372               Insolubles = {}
1373               Solved dicts 6
1374               Solved funeqs 0
1375runStage canonicalization {
1376  workitem   =  [W] $dData_aGq :: Data String (CNonCanonical)
1377canonicalize (non-canonical)
1378  [W] $dData_aGq :: Data String (CNonCanonical)
1379canEvNC:cls Data [String]
1380canClass
1381  [W] $dData_aGq :: Data String Data [String]
1382  Data String
1383  Just [W] $dData_aGq :: Data String
1384end stage canonicalization }
1385runStage spontaneous solve {
1386  workitem   =  [W] $dData_aGq :: Data String (CDictCan)
1387Spont: no tyvar on lhs [W] $dData_aGq :: Data String (CDictCan)
1388end stage spontaneous solve }
1389runStage interact with inerts {
1390  workitem   =  [W] $dData_aGq :: Data String (CDictCan)
1391interactWithInerts
1392  workitem =  [W] $dData_aGq :: Data String (CDictCan)
1393relevant inerts are: {}
1394end stage interact with inerts }
1395runStage top-level reactions {
1396  workitem   =  [W] $dData_aGq :: Data String (CDictCan)
1397doTopReact [W] $dData_aGq :: Data String (CDictCan)
1398setEvBind
1399  ev = $dData_aGq
1400  tm  = $dData_aGp
1401end stage top-level reactions }
1402End solver pipeline (discharged) }
1403  inerts    =  Equalities:
1404               Type-function equalities:
1405               Dictionaries:
1406               Irreds:
1407               Insolubles = {}
1408               Solved dicts 6
1409               Solved funeqs 0
1410solveFlats end } {}
1411solveWanteds }
1412  unsolved_flats   = {}
1413  unsolved_implics = {}
1414  current evbinds  = {$dTypeable_aGo
1415                        = Type.Type.$fTypeableSrcSpan @[] [],
1416                      $dData_aGp
1417                        = Data.Data.$fData[] @[Char] [$dTypeable_aGx, $dData_aGy],
1418                      $dData_aGq = $dData_aGp,
1419                      $dTypeable_aGx
1420                        = Data.Typeable.Internal.$fTypeableks @[*, *, [], Char]
1421                                                              [$dTypeable_aGz, $dTypeable_aGA],
1422                      $dData_aGy = Data.Data.$fDataChar @[] [],
1423                      $dTypeable_aGz = Data.Typeable.Internal.$fTypeable[] @[] [],
1424                      $dTypeable_aGA = Data.Typeable.Internal.$fTypeableChar @[] []}
1425  current tybinds  =
1426  final wc = WC {}
1427TcDeriv
1428  [Typeable * SrcSpan, Data String, Data String]
1429  []
1430simplifyDeriv
1431  e
1432  [Eq SrcSpan, Eq e]
1433  [[W] $dEq_aGC :: Eq SrcSpan (CNonCanonical),
1434   [W] $dEq_aGD :: Eq e (CNonCanonical)]
1435  deriving (Eq (Located e))
1436solveWantedsTcMWithEvBinds
1437  wanted= WC {wc_flat = [W] $dEq_aGC :: Eq SrcSpan (CNonCanonical)
1438                        [W] $dEq_aGD :: Eq e (CNonCanonical)}
1439solveWanteds {
1440  WC {wc_flat = [W] $dEq_aGC :: Eq SrcSpan (CNonCanonical)
1441                [W] $dEq_aGD :: Eq e (CNonCanonical)}
1442solveFlats {
1443Start solver pipeline {
1444  work item =  [W] $dEq_aGC :: Eq SrcSpan (CNonCanonical)
1445  inerts    =  Equalities:
1446               Type-function equalities:
1447               Dictionaries:
1448               Irreds:
1449               Insolubles = {}
1450               Solved dicts 0
1451               Solved funeqs 0
1452runStage canonicalization {
1453  workitem   =  [W] $dEq_aGC :: Eq SrcSpan (CNonCanonical)
1454canonicalize (non-canonical)
1455  [W] $dEq_aGC :: Eq SrcSpan (CNonCanonical)
1456canEvNC:cls Eq [SrcSpan]
1457canClass
1458  [W] $dEq_aGC :: Eq SrcSpan Eq [SrcSpan]
1459  Eq SrcSpan
1460  Just [W] $dEq_aGC :: Eq SrcSpan
1461end stage canonicalization }
1462runStage spontaneous solve {
1463  workitem   =  [W] $dEq_aGC :: Eq SrcSpan (CDictCan)
1464Spont: no tyvar on lhs [W] $dEq_aGC :: Eq SrcSpan (CDictCan)
1465end stage spontaneous solve }
1466runStage interact with inerts {
1467  workitem   =  [W] $dEq_aGC :: Eq SrcSpan (CDictCan)
1468interactWithInerts
1469  workitem =  [W] $dEq_aGC :: Eq SrcSpan (CDictCan)
1470relevant inerts are: {}
1471end stage interact with inerts }
1472runStage top-level reactions {
1473  workitem   =  [W] $dEq_aGC :: Eq SrcSpan (CDictCan)
1474doTopReact [W] $dEq_aGC :: Eq SrcSpan (CDictCan)
1475matchClassInst
1476  pred = Eq SrcSpan
1477  inerts= Equalities:
1478          Type-function equalities:
1479          Dictionaries:
1480          Irreds:
1481          Insolubles = {}
1482          Solved dicts 0
1483          Solved funeqs 0
1484  untouchables= 0
1485matchClass success
1486  dict Eq SrcSpan
1487  witness Type.Type.$fEqSrcSpan Eq SrcSpan
1488updSolvedSetTcs: [W] $dEq_aGC :: Eq SrcSpan
1489doTopReact/found nullary instance for $dEq_aGC
1490setEvBind
1491  ev = $dEq_aGC
1492  tm  = Type.Type.$fEqSrcSpan @[] []
1493end stage top-level reactions }
1494End solver pipeline (discharged) }
1495  inerts    =  Equalities:
1496               Type-function equalities:
1497               Dictionaries:
1498               Irreds:
1499               Insolubles = {}
1500               Solved dicts 1
1501               Solved funeqs 0
1502Start solver pipeline {
1503  work item =  [W] $dEq_aGD :: Eq e (CNonCanonical)
1504  inerts    =  Equalities:
1505               Type-function equalities:
1506               Dictionaries:
1507               Irreds:
1508               Insolubles = {}
1509               Solved dicts 1
1510               Solved funeqs 0
1511runStage canonicalization {
1512  workitem   =  [W] $dEq_aGD :: Eq e (CNonCanonical)
1513canonicalize (non-canonical) [W] $dEq_aGD :: Eq e (CNonCanonical)
1514canEvNC:cls Eq [e]
1515canClass
1516  [W] $dEq_aGD :: Eq e Eq [e]
1517  Eq e
1518  Just [W] $dEq_aGD :: Eq e
1519newSCWork/Derived impr_theta = []
1520end stage canonicalization }
1521runStage spontaneous solve {
1522  workitem   =  [W] $dEq_aGD :: Eq e (CDictCan)
1523Spont: no tyvar on lhs [W] $dEq_aGD :: Eq e (CDictCan)
1524end stage spontaneous solve }
1525runStage interact with inerts {
1526  workitem   =  [W] $dEq_aGD :: Eq e (CDictCan)
1527interactWithInerts workitem =  [W] $dEq_aGD :: Eq e (CDictCan)
1528relevant inerts are: {}
1529end stage interact with inerts }
1530runStage top-level reactions {
1531  workitem   =  [W] $dEq_aGD :: Eq e (CDictCan)
1532doTopReact [W] $dEq_aGD :: Eq e (CDictCan)
1533matchClassInst
1534  pred = Eq e
1535  inerts= Equalities:
1536          Type-function equalities:
1537          Dictionaries:
1538          Irreds:
1539          Insolubles = {}
1540          Solved dicts 1
1541          Solved funeqs 0
1542  untouchables= 0