Changes between Initial Version and Version 1 of Ticket #7173


Ignore:
Timestamp:
Aug 21, 2012 8:02:25 AM (20 months ago)
Author:
simonpj
Comment:

Instructions to reproduce, assuming ghc 7.6 rc, plus having cabal installed

  1. cabal unpack the most recent haskeline, and fix it so it can build. This involves updating the Setup.hs file for haskeline, as there's no longer a Control.Exception.Extensible (instead its just Control.Exception.Base), so that just needs to be swapped. cabal install that.
  1. git clone https://github.com/cartazio/EpiVM
  1. cd EpiVM ; git checkout patch-1 ; cabal build ; cabal configure ; cabal build ; cabal install
  1. Now you can try doing cabal install idris and you should get the following type error message: https://gist.github.com/3405712

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #7173 – Description

    initial v1  
    11Carter Schonwald reports: when playing with the current hackage versions of Epic and Idris to make them play nice with ghc7.6rc1  
    22 * http://hackage.haskell.org/package/idris-0.9.2.1 
    3  *http://hackage.haskell.org/package/epic-0.9.3 (current version on github now builds on ghc 7.6, https://github.com/edwinb/EpiVM) 
     3 * http://hackage.haskell.org/package/epic-0.9.3 (current version on github now builds on ghc 7.6, https://github.com/edwinb/EpiVM) 
    44  
    55I ran into some funny type inference problems. Namely, using the idris-0.9.2.1  source and iteratively seeing how ghc complains,