[GHC] #8299: Add richer data model address arithmetic: AddrDiff and AddrInt (ie d Int_ptr_diff and Int_ptr_size)

[GHC]

#8299: Add richer data model address arithmetic: AddrDiff and AddrInt (ie d
Int_ptr_diff and Int_ptr_size)
----------------------------+----------------------------------------------
        Reporter:  carter   |            Owner:
            Type:  feature  |           Status:  new
  request                   |        Milestone:  7.10.1
        Priority:  high     |          Version:  7.6.3
       Component:           |         Keywords:
  Compiler                  |     Architecture:  Unknown/Multiple
      Resolution:           |       Difficulty:  Project (more than a week)
Operating System:           |       Blocked By:
  Unknown/Multiple          |  Related Tickets:
 Type of failure:           |
  None/Unknown              |
       Test Case:           |
        Blocking:  8287     |
----------------------------+----------------------------------------------

Comment (by carter):

 agreed with Reid.

 its worth remarking though, that internally that CPtrdiff type is just
 Int64 on  x86_64. It really needs to be a distinguished type internally,
 not just a newtype wrapper around an Int (at least for a satisfactory
 analogue for GHC and correct code gen)

-- 
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8299#comment:2>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler