src/ehc: partially fix ghc-7.6 compatibility #9

Merged
merged 1 commit into from Nov 15, 2012

Conversation

Projects
None yet
3 participants
Contributor

trofi commented Nov 14, 2012

Added missing Ord and Num instances.

Sample failure:

src/ehc/CHR/Solve.chs:518:22:
Could not deduce (Ord i) arising from a use of chrSolve''
from the context (CHRMatchable env p s,
CHRCheckable env g s,
VarLookupCmb s s,
VarUpdatable s s,
VarUpdatable g s,
VarUpdatable i s,
VarUpdatable p s,
CHREmptySubstitution s,
Ord (Constraint p i))

Signed-off-by: Sergei Trofimovich slyfox@gentoo.org

src/ehc: partially fix ghc-7.6 compatibility
Added missing Ord and Num instances.

Sample failure:

src/ehc/CHR/Solve.chs:518:22:
    Could not deduce (Ord i) arising from a use of chrSolve''
    from the context (CHRMatchable env p s,
                      CHRCheckable env g s,
                      VarLookupCmb s s,
                      VarUpdatable s s,
                      VarUpdatable g s,
                      VarUpdatable i s,
                      VarUpdatable p s,
                      CHREmptySubstitution s,
                      Ord (Constraint p i))

Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>

atzedijkstra added a commit that referenced this pull request Nov 15, 2012

Merge pull request #9 from trofi/partial-ghc-7.6-fix
src/ehc: partially fix ghc-7.6 compatibility

@atzedijkstra atzedijkstra merged commit 1956b41 into UU-ComputerScience:master Nov 15, 2012

I just tried to build the js-branch using ghc-7.6 and ran into this problem (or a similar one). There are also at least two other problems:

  1. an occurence of Prelude.catch, that does not exist in base-4.6 anymore and
  2. a problem with System.Directory.getModificationTime from directory-1.2 -- it changed its return type from ClockTime to UTCTime.

There might be more...

So I wonder: what's the state of compiling UHC with ghc-7.6? Is it just the js-branch that is broken? Or is this just not yet supported.

Thanks for any insights.

Owner

atzedijkstra commented Apr 9, 2013

Hi Sönke,

the master branch compiles with 7.6, has both problems already fixed. The js branch is not further maintained, will be removed in due time. Most of the functionality specific to that branch already has merged into the master.

Hope this helps,
regards
Atze

On 9 Apr, 2013, at 19:58 , Sönke Hahn notifications@github.com wrote:

I just tried to build the js-branch using ghc-7.6 and ran into this problem (or a similar one). There are also at least two other problems:

  1. an occurence of Prelude.catch, that does not exist in base-4.6 anymore and
  2. a problem with System.Directory.getModificationTime from directory-1.2 -- it changed its return type from ClockTime to UTCTime.

There might be more...

So I wonder: what's the state of compiling UHC with ghc-7.6? Is it just the js-branch that is broken? Or is this just not yet supported.

Thanks for any insights.


Reply to this email directly or view it on GitHub.

            - Atze -

Atze Dijkstra, Department of Information and Computing Sciences. /|
Utrecht University, PO Box 80089, 3508 TB Utrecht, Netherlands. / |
Tel.: +31-30-2534118/1454 | WWW : http://www.cs.uu.nl/~atze . /--|
Fax : +31-30-2513971 .... | Email: atze@uu.nl ............... / |___\

Hi Atze!

Yes, that helps very much. This information is outdated then:
http://uu-computerscience.github.io/uhc-js/documentation.html

Thanks.

Owner

atzedijkstra commented Apr 10, 2013

Thanks! The doc has been updated to reflect this.

Atze

On 9 Apr, 2013, at 20:05 , Sönke Hahn notifications@github.com wrote:

Hi Atze!

Yes, that helps very much. This information is outdated then:
http://uu-computerscience.github.io/uhc-js/documentation.html

Thanks.


Reply to this email directly or view it on GitHub.

            - Atze -

Atze Dijkstra, Department of Information and Computing Sciences. /|
Utrecht University, PO Box 80089, 3508 TB Utrecht, Netherlands. / |
Tel.: +31-30-2534118/1454 | WWW : http://www.cs.uu.nl/~atze . /--|
Fax : +31-30-2513971 .... | Email: atze@uu.nl ............... / |___\

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment