Re: [GHC] #7918: SrcSpan's associated with expanded quasi-quotes are inconsistent

17 Jun 2013


      #7918: SrcSpan's associated with expanded quasi-quotes are inconsistent
---------------------------------+------------------------------------------
    Reporter:  edsko             |       Owner:                  
        Type:  bug               |      Status:  infoneeded      
    Priority:  normal            |   Milestone:                  
   Component:  Compiler          |     Version:  7.4.2           
    Keywords:                    |          Os:  Unknown/Multiple
Architecture:  Unknown/Multiple  |     Failure:  None/Unknown    
  Difficulty:  Unknown           |    Testcase:                  
   Blockedby:                    |    Blocking:                  
     Related:                    |  
---------------------------------+------------------------------------------
Changes (by simonpj):

  * status:  new => infoneeded
  * difficulty:  => Unknown


Comment:

 Can you check with 7.6 or HEAD?  Looks ok with HEAD to me:
 {{{
 bash-3.1$ c:/code/HEAD/inplace/bin/ghc-stage2 -c T7918.hs -ddump-splices
 -fforce-recomp -ddump-rn -dppr-debug
 Loading package ghc-prim ... linking ... done.
 Loading package integer-gmp ... linking ... done.
 Loading package base ... linking ... done.
 Loading package array-0.4.0.2 ... linking ... done.
 Loading package deepseq-1.3.0.2 ... linking ... done.
 Loading package containers-0.5.0.0 ... linking ... done.
 Loading package pretty-1.1.1.0 ... linking ... done.
 Loading package template-haskell ... linking ... done.
 T7918.hs:4:7:
     T7918.hs:4:7-13: Splicing expression
         {T7918.hs:4:11-13}
         "a"
       ======>
         {T7918.hs:4:11-13}
         GHC.Types.True{d}
 T7918.hs:5:7:
     T7918.hs:5:7-13: Splicing expression
         {T7918.hs:5:11-13}
         "b"
       ======>
         {T7918.hs:5:11-13}
         GHC.Base.id{v} GHC.Types.True{d}
 T7918.hs:6:7:
     T7918.hs:6:7-13: Splicing expression
         {T7918.hs:6:11-13}
         "c"
       ======>
         {T7918.hs:6:11-13}
         (GHC.Types.True{d} GHC.Classes.||{v} GHC.Types.False{d})
 T7918.hs:7:7:
     T7918.hs:7:7-13: Splicing expression
         {T7918.hs:7:11-13}
         "d"
       ======>
         {T7918.hs:7:11-13}
         GHC.Types.False{d}

 ==================== Renamer ====================
 nonrec {T7918.hs:7:1-13}
        main:T7918.ex4{v r0}
        main:T7918.ex4{v r0}
          = {T7918.hs:7:7-13}
            ghc-prim:GHC.Types.False{(w) d 68}
        <>
 nonrec {T7918.hs:6:1-13}
        main:T7918.ex3{v r1}
        main:T7918.ex3{v r1}
          = {T7918.hs:6:7-13}
            (ghc-prim:GHC.Types.True{(w) d 6u}
             ghc-prim:GHC.Classes.||{v r1g} ghc-prim:GHC.Types.False{(w) d
 68})
        <>
 nonrec {T7918.hs:5:1-13}
        main:T7918.ex2{v r2}
        main:T7918.ex2{v r2}
          = {T7918.hs:5:7-13}
            base:GHC.Base.id{v r2q} ghc-prim:GHC.Types.True{(w) d 6u}
        <>
 nonrec {T7918.hs:4:1-13}
        main:T7918.ex1{v r3}
        main:T7918.ex1{v r3}
          = {T7918.hs:4:7-13}
            ghc-prim:GHC.Types.True{(w) d 6u}
        <>

 bash-3.1$
 }}}
 Consistently 7-13.

-- 
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7918#comment:1
GHC http://www.haskell.org/ghc/
The Glasgow Haskell Compiler