Is the HEAD dead?

Manuel M T Chakravarty chak at cse.unsw.edu.au
Mon Jul 7 01:57:03 EDT 2008


In the meantime, I followed SimonPJ's suggestion on the ghc list to

> If you do a 'darcs pull' then 'make distclean' then 'make' you may  
> (just now) get errors of various kinds when 'make' reaches utils/ghc- 
> pkg.
>
> Solution: cd compat; rm **/*.{hi,o}
>
> Reason: after you pull, make distclean doesn't clean droppings from  
> previous incarnations of the build system.

That alters the error message to,

/opt/local/bin/ghc -package-conf /Users/chak/Code/ghc-test/libraries/ 
bootstrapping.conf -Werror -H64m -O0 -fasm -cpp -Wall -fno-warn-name- 
shadowing -fno-warn-unused-matches -DUSING_COMPAT -i../../compat - 
package directory -package pretty -package containers  -Rghc-timing -O  
-fasm -package unix -package containers -package Cabal    -c Main.hs - 
o Main.o  -ohi Main.hi

Main.hs:325:2:
     Couldn't match expected type `ReadP r PackageIdentifier'
            against inferred type  
`Cabal-1.5.2:Distribution.Compat.ReadP.ReadP
                                     r1 a'
     In the first argument of `(+++)', namely `parse'
     In the expression:
           parse
         +++
           (do n <- parse
               string "-*"
               return (PackageIdentifier {pkgName = n, pkgVersion =  
globVersion}))
     In the definition of `parseGlobPackageId':
         parseGlobPackageId = parse
                            +++
                              (do n <- parse
                                  string "-*"
                                  return (PackageIdentifier {pkgName =  
n, pkgVersion = globVersion}))

Main.hs:829:55:
     Couldn't match expected type `ReadP a a'
            against inferred type  
`Cabal-1.5.2:Distribution.Compat.ReadP.ReadP
                                     r a1'
     In the first argument of `readP_to_S', namely `parse'
     In a stmt of a list comprehension: (x, ys) <- readP_to_S parse str
     In the scrutinee of a case expression:
         [x :: PackageIdentifier |
            (x, ys) <- readP_to_S parse str, all isSpace ys]

Manuel

Manuel M T Chakravarty:
> Trying to validate the HEAD I get:
>
> /opt/local/bin/ghc -package-conf /Users/chak/Code/ghc-test/libraries/ 
> bootstrapping.conf -Werror -H64m -O0 -fasm -cpp -Wall -fno-warn-name- 
> shadowing -fno-warn-unused-matches -DUSING_COMPAT -i../../compat - 
> package directory -package pretty -package containers  -Rghc-timing - 
> O -fasm -package unix -package containers -package Cabal    -c  
> Main.hs -o Main.o  -ohi Main.hi
>
> Main.hs:327:11:
>    No instance for (Text String)
>      arising from a use of `parse' at Main.hs:327:11-15
>    Possible fix: add an instance declaration for (Text String)
>    In a stmt of a 'do' expression: n <- parse
>    In the second argument of `(+++)', namely
>        `(do n <- parse
>             string "-*"
>             return
>               (PackageIdentifier {pkgName = n, pkgVersion =  
> globVersion}))'
>    In the expression:
>          parse
>        +++
>          (do n <- parse
>              string "-*"
>              return (PackageIdentifier {pkgName = n, pkgVersion =  
> globVersion}))
>
> This is using 6.8.3 as the bootstrap compiler on MacOS 10.5.4 (Intel).
>
> Manuel



More information about the Cvs-ghc mailing list