Changes between Initial Version and Version 1 of Ticket #11525


Ignore:
Timestamp:
Feb 1, 2016 11:25:41 PM (3 years ago)
Author:
jme
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #11525 – Description

    initial v1  
    5656                              GHC.Prim.~# s_aIL[fuv:2] (CFunEqCan)}
    5757  insols = {}
    58   others = {[W] $dC_aIv :: C b_aIu[tau:3] (CDictCan(psc))}  <===== BEFORE plugin
     58  others = {[W] $dC_aIv :: C b_aIu[tau:3] (CDictCan(psc))}  <===== BEFORE
    5959  implics = {}
    6060Unflattening
     
    7777                    GHC.Prim.~# F b_aIs[sk] (CNonCanonical)}
    7878zonkSimples done:
    79   {[W] $dC_aIv :: C b_aIu[tau:3] (CNonCanonical),           <===== AFTER plugin
     79  {[W] $dC_aIv :: C b_aIu[tau:3] (CNonCanonical),           <===== AFTER
    8080   [W] hole{aIO} :: F b_aIu[tau:3]
    8181                    GHC.Prim.~# F b_aIs[sk] (CNonCanonical)}