GHC 5.02.2: ghci type-reporting "error"
I get the following error when asking for the type of `build' in ghci, 5.02.2. This still happens, with or without -fglasgow-exts. astrocyte:compiler$ ghci ___ ___ _ / _ \ /\ /\/ __(_) / /_\// /_/ / / | | GHC Interactive, version 5.02.2, for Haskell 98. / /_\\/ __ / /___| | http://www.haskell.org/ghc/ \/\/ /_/\/|_| Type :? for help. Loading package std ... linking ... done. Prelude> :t PrelBase.build Illegal use of `PrelBase.build' It is applied to too few arguments so that the result type has for-alls in it: (forall b. (a -> b -> b) -> b -> b) -> [a] Prelude> --KW 8-) -- Keith Wansbrough <[EMAIL PROTECTED]> http://www.cl.cam.ac.uk/users/kw217/ University of Cambridge Computer Laboratory. ___ Glasgow-haskell-bugs mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
ghci --help not helpful
Hi... when I type ghci --help, I get the help for the compiler, not the interpreter. Perhaps the docs could be changed? Also, I'd like an analogue of hugs' `runhugs', that automatically invokes `main', and then exits when that completes. --KW 8-) -- Keith Wansbrough <[EMAIL PROTECTED]> http://www.cl.cam.ac.uk/users/kw217/ University of Cambridge Computer Laboratory. ___ Glasgow-haskell-bugs mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: Exists for all places
Arthur Baars asks: > It there a reason why existential quantification does not work with a > newtype, or is it just > a parser problem? >From the manual, section 7.12.3 "Restrictions": --8<-- You can't use existential quantification for newtype declarations. So this is illegal: newtype T = forall a. Ord a => MkT a Reason: a value of type T must be represented as a pair of a dictionary for Ord t and a value of type t. That contradicts the idea that newtype should have no concrete representation. You can get just the same efficiency and effect by using data instead of newtype. If there is no overloading involved, then there is more of a case for allowing an existentially-quantified newtype, because the data because the data version does carry an implementation cost, but single-field existentially quantified constructors aren't much use. So the simple restriction (no existential stuff on newtype) stands, unless there are convincing reasons to change it. --8<-- HTH. --KW 8-) ___ Glasgow-haskell-bugs mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: hGetContents bug?
> I'll get a strange result if the file contains the character 1A-hexadecimal > (or 26-decimal): all characters beyond this point won't be printed on the > screen. I think this is correct behaviour for a text file under Windows/DOS... you should open the file as binary instead. --KW 8-) ___ Glasgow-haskell-bugs mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: ghc via ftp
[EMAIL PROTECTED] (Michael Sperber [Mr. Preprocessor]) writes: > For mirroring, yes. This doesn't work particularly well over http. What about wget? wget --mirror seems to work for me... http://www.gnu.org/software/wget/wget.html --KW 8-) -- Keith Wansbrough <[EMAIL PROTECTED]> http://www.cl.cam.ac.uk/users/kw217/ Cambridge University Computer Laboratory. ___ Glasgow-haskell-bugs mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
[repeat post] Re: Syntax for implicit parameters
[sorry for duplication; I missed out hugs-bugs before] > Simon Peyton-Jones wrote: > > [...] > > 1. [happy]. Use 'let' > > 2. [consent]. Use 'dlet' or 'with' > > 3. [hate] Use both 'dlet' and 'with' > > > > Would the Hugs folk be willing to adopt (2)? Please correct me if I'm wrong: The two syntaxes are: (i) let ?x = foo in bar (ii) bar with ?x = foo Surely we could use *zero* extra identifiers by writing: (ia) let ?x = foo in bar (iia) bar where ?x = foo i.e., s/dlet/let/ and s/with/where/ . I thought this was mentioned at the Haskell Implementors' Meeting. --KW 8-) -- Keith Wansbrough <[EMAIL PROTECTED]> http://www.cl.cam.ac.uk/users/kw217/ Cambridge University Computer Laboratory. ___ Glasgow-haskell-bugs mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: Syntax for implicit parameters
> Simon Peyton-Jones wrote: > > [...] > > 1. [happy]. Use 'let' > > 2. [consent]. Use 'dlet' or 'with' > > 3. [hate] Use both 'dlet' and 'with' > > > > Would the Hugs folk be willing to adopt (2)? Please correct me if I'm wrong: The two syntaxes are: (i) let ?x = foo in bar (ii) bar with ?x = foo Surely we could use *zero* extra identifiers by writing: (ia) let ?x = foo in bar (iia) bar where ?x = foo i.e., s/dlet/let/ and s/with/where/ . I thought this was mentioned at the Haskell Implementors' Meeting. --KW 8-) -- Keith Wansbrough <[EMAIL PROTECTED]> http://www.cl.cam.ac.uk/users/kw217/ Cambridge University Computer Laboratory. ___ Glasgow-haskell-bugs mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Module `Foo' does not export `bar' (via hi-boot)
I recently added an export to DataCon, and recompiled. I got the
following:
astrocyte:compiler$ make
/usr/groups/haskell/ix86_linux/bin/ghc -cpp -fglasgow-exts -Rghc-timing
-I. -IcodeGen -InativeGen -Iparser -iutils:basicTypes:types:hsSyn:prelud
e:rename:typecheck:deSugar:coreSyn:specialise:simplCore:stranal:stgSyn:s
implStg:codeGen:absCSyn:main:profiling:parser:usageSP:cprAnalysis:javaGe
n:ghci:nativeGen -recomp -O -DDEBUG -Onot -DDO_USAGES-c
types/TyCon.lhs -o types/TyCon.o -osuf o
types/TyCon.lhs:56:
Module `DataCon' does not export `dataConTyConUVars'
Compilation had errors
make: *** [types/TyCon.o] Error 1
astrocyte:compiler$
What this message *doesn't* say is that the export is missing not from
DataCon.lhs, but from DataCon.hi-boot{-5,}.
Pretty please... could this error message say something like "(via
hi-boot file") in this situation?
Thanks.
--KW 8-)
--
Keith Wansbrough <[EMAIL PROTECTED]>
http://www.cl.cam.ac.uk/users/kw217/
Cambridge University Computer Laboratory.
___
Glasgow-haskell-bugs mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: message
> [This message is sent through a WWW-Email gateway.] > [The authenticity of the sender can not be validated.] > [Message sent from the following machine webproxy.dana.com - 162.74.52.180 ] > [after accessing this URL >http://www.dcs.gla.ac.uk/scripts/global/send_message?[EMAIL PROTECTED]+message] > -- > > After I close all programs and shut down the computer, I get the > following error during the shut down process. [..] Have we ever had a real bug report via this Web interface? Could it perhaps be removed, O maintainer of the list? --KW 8-) ___ Glasgow-haskell-bugs mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: False "duplicate or overlapping instances" message
> > You can now see that the two instance declarations overlap: their
> > right hand sides are in fact *identical*. Remember that the
> > typechecker simply matches on the right-hand sides ("heads") of the
> > instance declarations.
> No they do not overlap, unless there is an a b satisfying NodeTypeConfigParms a b
> and ArcTypeConfigParms a b. Which there aint.
Haskell makes the "open world" assumption... there may be new
instances added later, and the behaviour of a well-typed program
should not change if this occurs.
I'll defer further discussion of this to the experts (Mark Jones?).
--KW 8-)
___
Glasgow-haskell-bugs mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: False "duplicate or overlapping instances" message
> Instances.hs:1:
> Duplicate or overlapping instance declarations
> for `HasConfig (arcTypeConfig value) (arcTypeParms value)'
> defined at Instances.hs:19 and defined at Instances.hs:11
>
> This is not fair, because while the instances for HasConfig have the
> potential to conflict in the future, they will only do so should the classes
> NodeTypeConfigParms and ArcTypeConfigParms overlap.
It is fair. Let's rename your type variables to make what's going on a little clearer:
main = return ()
class HasConfig a b where
($$) :: a -> b -> b
class NodeTypeConfigParms a b where
nodeTypeConfig :: a c -> b c -> b c
instance (NodeTypeConfigParms a b) => HasConfig (a c) (b c) where
($$) = nodeTypeConfig
class ArcTypeConfigParms a b where
arcTypeConfig :: a c -> b c -> b c
instance (ArcTypeConfigParms a b) => HasConfig (a c) (b c) where
($$) = arcTypeConfig
You can now see that the two instance declarations overlap: their
right hand sides are in fact *identical*. Remember that the
typechecker simply matches on the right-hand sides ("heads") of the
instance declarations.
If you do -fallow-undecidable-instances, I think your program will
work (in the Prolog-ish backtracking way), but note that if
NodeTypeConfigParms and ArcTypeConfigParms are ever given instances at
the same pair of types, the value of ($$) will be undefined.
--KW 8-)
___
Glasgow-haskell-bugs mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Problem with make install-docs
Just downloaded http://www.haskell.org/ghc/dist/4.08.1/ghc-4.08.1-i386-unknown-linux.t ar.gz did configure, make, make install-docs. The latter yields an error: astrocyte:ghc-4.08.1$ make install-docs ./mkdirhier /usr/groups/haskell/share/ghc-4.08.1 /usr/bin/install -c -m 644 html/* /usr/groups/haskell/share/ghc-4.08.1 /usr/bin/install: `html/building' is a directory /usr/bin/install: `html/set' is a directory make: *** [install-html] Error 1 astrocyte:ghc-4.08.1$ Indeed, these two are directories. What is going on? I tried adding '-d' to the command line for install, but that did *weird* things to my permissions, and didn't do the install. Thanks. --KW 8-) -- Keith Wansbrough <[EMAIL PROTECTED]> http://www.cl.cam.ac.uk/users/kw217/ Cambridge University Computer Laboratory. ___ Glasgow-haskell-bugs mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: Addition to Position of p_hi-files for Profiling under Windo
Andreas Marth writes: > I just gave up with compiling for profiling because the ld complained: "cannot > open -lHSlang_p_imp: No such file or directory". > Any solution available? In the Windows install, the files are currently put in the wrong place. A fix is to simply move the contents of imports/* to lib/imports/* ; presumably the library files have to move appropriately too. The profiling files live in the same directories as the normal files, and are distinguished simply by their names. Reuben is working on this as we speak. InstallShield has a particularly horrible interface for fixing this kind of problem, unfortunately. HTH. --KW 8-) for the GHC team.
Re: pre-4.07 inherits bug from 4.06
> > main = > > let xs = > >[((1,[0,0,0,0,2,0,0,0,0,2]),(-5,[0,0,0,0,1,0,3,3,0,1])), [..] > > It hangs afterghc -c Main.hs; ghc -o run Main.o; ./run > > Thanks for the report; actually we know this bug is still there. It turns > out that there's no easy fix, and it's pretty tiresome to fix it properly. > The workaround remains: compile with -O. > > Reuben: could you mention this one in the mini-FAQ as a known bug? For the record: This is the same bug that causes certain programs compiled with profiling on to hang. A notable case is in compiling the compiler with profiling; PrimOp.lhs must be compiled with -O to avoid the profiled hsc hanging. --KW 8-)
Re: Glasgow Parallel Haskell
> Recently GPH was installed on my Universities beowulf cluster. PVM3 is > installed (as well as Lam MPI). Ghc appears to be correctly installed; it > compiles non-parallel programs fine. However when I try to compile (for > example) the fibonacci function given in the documentation it fails. [..] > Given the command: > ghc -parallel -O -o p parallelfib.hs > > The result is: > parallelfib.hs:2: Could not find valid interface file `Prelude' It would appear that you don't have the parallel build of the compiler installed properly. GHC is built with one or more `ways'. The normal `way' is the default, but there are also `p' for profiling, `t' for ticky-ticky, and ... `mp' for parallel. When compiling with a `way' other than the normal one, GHC looks for Foo.mp_hi, Foo.mp_o, and so on instead of Foo.hi, Foo.o. So there should a file Prelude.mp_hi in one of the directories GHC is looking through. GHC is complaining that it's not there. HTH. --KW 8-) -- : Keith Wansbrough, MSc, BSc(Hons) (Auckland) ---: : PhD Student, Computer Laboratory, University of Cambridge, UK. : : Native of Antipodean Auckland, New Zealand: 174d47'E, 36d55'S. : : http://www.cl.cam.ac.uk/users/kw217/ mailto:[EMAIL PROTECTED] : ::
Re: cvs 4.07 arithmetic errors in Integer arithmetic
> Finally I would like to know if there is a way to get my hands > on a cvs tree for 4.06 so that I can compare the two and see > what happens when I apply a fix to 4.07 against applying the > same fix for 4.06? cvs co -r ghc-4-06-branch will give you the 4.06 tree. cvs diff -r ghc-4-06-branch will give you the diffs between your current tree and ghc 4.06. `ghc-4-06-branch' includes any patches to the released GHC-4.06 since the initial release (eg, ghc-4-04-branch is GHC 4.04 pl1); `ghc-4-06' is the initially-released GHC 4.06. I believe in this case they're the same. HTH. --KW 8-) -- : Keith Wansbrough, MSc, BSc(Hons) (Auckland) ---: : PhD Student, Computer Laboratory, University of Cambridge, UK. : : Native of Antipodean Auckland, New Zealand: 174d47'E, 36d55'S. : : http://www.cl.cam.ac.uk/users/kw217/ mailto:[EMAIL PROTECTED] : ::
RegexString warning
Building latest CVS (with ghc-4.02 on Linux): ../../ghc/driver/ghc-inplace -lbfd -liberty -recomp -cpp -fglasgow-exts -fvia-C -Rghc-timing -ihtml -static -DDEBUG -fno-prune-tydecls -O -fno-specialise -syslib lang-c RegexString.lhs -o RegexString.o -osuf o RegexString.lhs:12: Warning: The export item `Regex(..)' suggests that `Regex' has constructor or class methods but it has none; it is a type synonym or abstract type or class <> --KW 8-) -- : Keith Wansbrough, MSc, BSc(Hons) (Auckland) ---: : PhD Student, Computer Laboratory, University of Cambridge, UK. : : Native of Antipodean Auckland, New Zealand: 174d47'E, 36d55'S. : : http://www.cl.cam.ac.uk/users/kw217/ mailto:[EMAIL PROTECTED] : ::
Re: Eliminate Con
> [eliminate Con in favour of Lit] Sounds great to me, I think. I'm currently still on holiday and don't have my code etc here, but I doubt this will cause me big problems. --KW 8-)
CVS repository inaccessible
I seem to be unable to access the CVS tree on glass.cse.ogi.edu. 'cvs update' just hangs. A traceroute seems to show glass to be inaccessible; a straight ssh hangs too. Here's the traceroute info. sphere:kw217$ traceroute glass.cse.ogi.edu traceroute to glass.cse.ogi.edu (129.95.44.145), 30 hops max, 40 byte packets 1 heathrow (128.232.0.1) 1.047 ms 0.953 ms 0.973 ms 2 route-cent-8.cam.ac.uk (192.153.213.197) 1.471 ms 1.298 ms 1.241 ms 3 route-sj3.cam.ac.uk (131.111.2.30) 2.115 ms 5.404 ms 1.871 ms 4 cambridge.london-core.ja.net (146.97.251.49) 5.755 ms 4.985 ms 4.938 ms 5 london.external-gw.ja.net (146.97.251.57) 7.265 ms 5.985 ms 6.845 ms 6 us-gw2.ja.net (128.86.1.242) 6.424 ms 6.998 ms 7.604 ms 7 ny-pop.ja.net (193.62.157.10) 83.117 ms 85.262 ms 79.930 ms 8 if-5-3.core1.NewYork.Teleglobe.net (207.45.202.29) 82.108 ms 86.817 ms 80.301 ms 9 Teleglobe.net (207.45.221.99) 81.460 ms 80.792 ms 79.768 ms 10 ix-1-1-1.bb1.NewYork.Teleglobe.net (207.45.201.138) 82.335 ms 82.357 ms 89.666 ms 11 nyc1-0.nyc2-0.verio.net (129.250.3.130) 89.451 ms 83.746 ms 86.125 ms 12 nyc2.ord2.verio.net (129.250.3.133) 107.696 ms 103.268 ms 105.210 ms 13 ord2.ord0.verio.net (129.250.2.25) 109.754 ms 101.839 ms 101.509 ms 14 ord0.sea2.verio.net (129.250.2.221) 164.112 ms 161.331 ms 159.059 ms 15 p1-1-1-0.r00.ptldor01.us.bb.verio.net (129.250.2.33) 164.160 ms 165.280 ms 163.641 ms 16 pdx20-fe2-0.or.nw.verio.net (129.250.30.150) 168.256 ms 166.121 ms 168.050 ms 17 bea10-hssi0-1-0.or.nw.verio.net (206.163.3.102) 169.567 ms 168.060 ms 166.792 ms 18 ogi-fe0-0-0.bea10.or.nw.verio.net (205.238.22.202) 171.685 ms 182.018 ms 172.139 ms 19 ogi2-gw.ogi.edu (129.95.20.1) 175.282 ms 170.591 ms 180.232 ms 20 * * * 21 * * * 22 * * * 23 * * * 24 * * * 25 * * * 26 * * * 27 * * * 28 * * * 29 * * * I am on sphere.cl.cam.ac.uk (128.232.3.186), which is behind a firewall. 'cvs update -Pd' with [EMAIL PROTECTED]:/home/ cvs/root worked fine for me yesterday. Thanks. --KW 8-)
Unexpected forall type
Is this something to be concerned about?
../../driver/ghc-inplace -recomp -cpp -fglasgow-exts -fvia-C
-Rghc-timing -DDEBUG -fno-prune-tydecls -O -fno-specialise -hisuf p_hi
-prof -GPrelude -c Concurrent.lhs -o Concurrent.p_o -osuf p_o
PrelConc.p_hi:44:
Warning: Unexpected forall type: forall a :: *.
PrelGHC.State# PrelGHC.RealWorld
-> (#PrelGHC.State#
PrelGHC.RealWorld, PrelIOBase.MVar a#)
<>
ghc-inplace: module version changed to 1; reason: no old .hi file
(also happens on a number of other files in this directory).
The relevant line:
1 zdwnewEmptyMVar :: __u - (__forall [a] => PrelGHC.Statezh
PrelGHC.RealWorld -> (# PrelGHC.Statezh PrelGHC.RealWorld,
PrelIOBase.MVar a #)) {-## __A 1 __C __S P __U (\ @ a w ::
(PrelGHC.Statezh PrelGHC.RealWorld) -> case PrelGHC.newMVarzh {@
PrelGHC.RealWorld @ a w} of wild { (# s2zh, svarzh #) -> let { s ::
(PrelIOBase.MVar a) = PrelIOBase.MVar {@ a svarzh} } in (# s2zh, s #)
}) ##-} ;
This is with CVS of a day or two ago.
Thanks...
--KW 8-)
--
: Keith Wansbrough, MSc, BSc(Hons) (Auckland) ---:
: PhD Student, Computer Laboratory, University of Cambridge, UK. :
: Native of Antipodean Auckland, New Zealand: 174d47'E, 36d55'S. :
: http://www.cl.cam.ac.uk/users/kw217/ mailto:[EMAIL PROTECTED] :
::
Re: [module Time] ghc-4.05 & time-travelling
> | Because if you add a a time interval to a time such that they span a > | DST change you would get the wrong result. > > Whoa! If 'now' is 123456 seconds after midnight on 1 Jan 1970, > then 10 seconds later must be 123466 seconds after midnight 1 Jan 1970, > regardless of daylight saving time or whatever. Surely! > > Simon But if 'now' is 1999-10-31 01:59:55 BST, ten seconds later it is 1999-10-31 01:00:05 GMT. And if 'now' is 1999-03-28 00:59:55 GMT, ten seconds later it is 1999-03-28 02:00:05 BST. --KW 8-) -- : Keith Wansbrough, MSc, BSc(Hons) (Auckland) : : PhD Student, Computer Laboratory, University of Cambridge, England. : : (and recently of the University of Glasgow, Scotland. [><] ) : : Native of Antipodean Auckland, New Zealand: 174d47' E, 36d55' S.: : http://www.cl.cam.ac.uk/users/kw217/ mailto:[EMAIL PROTECTED] : :-:
Re: Panic bug.
/8.8.7) id RAA29652; Tue, 11 May 1999 17:33:38 +0100 (BST) Date: Tue, 11 May 1999 17:33:38 +0100 (BST) From: keithw <[EMAIL PROTECTED]> Message-Id: <[EMAIL PROTECTED]> To: [EMAIL PROTECTED] Subject: cvs commit: fptools/ghc/compiler/rename RnNames.lhs keithw 1999/05/11 17:33:37 BST Modified files: ghc/compiler/rename RnNames.lhs Log: (this is number 3 of 9 commits to be applied together) Following Haskell 98, if the module declaration is omitted it now defaults to "module Main(main) where", rather than the previous default of exporting everything. Furthermore, "module Main where" also defaults to exporting just Main.main rather than everything in the module (modules other than Main behave as normal). This permits the usage inference to give better results for the Main module, since exported functions get worse types than nonexported functions. Revision ChangesPath 1.62 +8 -2 fptools/ghc/compiler/rename/RnNames.lhs Return-path: <[EMAIL PROTECTED]> Delivery-date: Tue, 11 May 1999 17:38:14 +0100 Received: from vanuata.dcs.gla.ac.uk ([130.209.240.50]) by heaton.cl.cam.ac.uk with smtp (Exim 2.12 #1) id 10hFXq-0004e6-00 for [EMAIL PROTECTED]; Tue, 11 May 1999 17:38:14 +0100 Received: from solander.dcs.gla.ac.uk (actually host solander) by vanuata.dcs.gla.ac.uk with SMTP DCS (MMTA) with ESMTP; Tue, 11 May 1999 17:38:08 +0100 Received: (from keithw@localhost) by solander.dcs.gla.ac.uk (8.8.8/8.8.7) id RAA29771; Tue, 11 May 1999 17:38:06 +0100 (BST) Date: Tue, 11 May 1999 17:38:06 +0100 (BST) From: keithw <[EMAIL PROTECTED]> Message-Id: <[EMAIL PROTECTED]> To: [EMAIL PROTECTED] Subject: cvs commit: fptools/ghc/compiler Makefile fptools/ghc/compiler/basicTypes MkId.lhs UniqSupply.lhs Var.lhs VarEnv.lhs fptools/ghc/compiler/coreSyn CoreSyn.lhs CoreUtils.lhs PprCore.lhs fptools/ghc/compiler/deSugar DsExpr.lhs DsMonad.lhs DsUtils.lhs ... keithw 1999/05/11 17:38:05 BST Modified files: ghc/compiler Makefile ghc/compiler/basicTypes MkId.lhs UniqSupply.lhs Var.lhs VarEnv.lhs ghc/compiler/coreSyn CoreSyn.lhs CoreUtils.lhs PprCore.lhs ghc/compiler/deSugar DsExpr.lhs DsMonad.lhs DsUtils.lhs ghc/compiler/hsSyn HsTypes.lhs ghc/compiler/prelude PrelInfo.lhs PrelVals.lhs PrimOp.lhs ghc/compiler/reader Lex.lhs RdrHsSyn.lhs ghc/compiler/rename ParseIface.y RnSource.lhs ghc/compiler/simplCore FloatIn.lhs SetLevels.lhs SimplCore.lhs ghc/compiler/specialise Specialise.lhs ghc/compiler/stranal WorkWrap.lhs ghc/compiler/typecheck TcClassDcl.lhs TcEnv.lhs TcExpr.lhs TcInstDcls.lhs TcMonad.lhs TcMonoType.lhs TcType.lhs TcUnify.lhs ghc/compiler/types Type.lhs Log: (this is number 4 of 9 commits to be applied together) The major purpose of this commit is to introduce usage information and usage analysis into the compiler, per the paper _Once Upon a Polymorphic Type_ (Keith Wansbrough and Simon Peyton Jones, POPL'99, and Glasgow TR-1998-19). Usage information has been added to types, in the form of a new kind of NoteTy: (UsgNote UsageAnn(UsOnce|UsMany|UsVar UVar)). Usages print as __o (once), __m (many, usually omitted), or (not in interface files) __uv. Usage annotations should only appear at certain places in a type (see the paper). The `default' annotation is __m, and so an omitted annotation implies __m. Utility functions for handling usage annotations are provided in Type. If the compiler is built with -DUSMANY (a flag intended for use in debugging by KSW only), __m are *required* and may not be omitted. The major constraint is that type arguments (eg to mkAppTy) must be unannotated on top. To maintain this invariant, many functions required the insertion of Type.unUsgTy (removing annot from top of a type) or UsageSPUtils.unannotTy (removing all annotations from a type). A function returning usage-annotated types for primops has been added to PrimOp. A new kind of Note, (TermUsg UsageAnn), has been added to annotate Terms. This note is *not* printed in interface files, and for the present does not escape the internals of the usage inference engine. Revision ChangesPath 1.55 +3 -3 fptools/ghc/compiler/Makefile 1.12 +7 -9 fptools/ghc/compiler/basicTypes/MkId.lhs 1.23 +6 -5 fptools/ghc/compiler/basicTypes/UniqSupply.lhs 1.6 +33 -4 fptools/ghc/compiler/basicTypes/Var.lhs 1.4 +3 -1 fptools/ghc/compiler/basicTypes/VarEnv.lhs 1.23 +4 -1 fptools/ghc/compiler/coreSyn/CoreSyn.lhs 1.33 +10 -4
Re: -fddump..
sphere:kw217$ cd ~/Own/fptools-4.xx-current/ghc/docs/users_guide/ sphere:users_guide$ cvs diff -r ghc-4-04 -r ghc-4-04-branch glasgow_exts.vsgml Index: glasgow_exts.vsgml === RCS file: /home/cvs/root/fptools/ghc/docs/users_guide/glasgow_exts.vsgml ,v retrieving revision 1.12 retrieving revision 1.12.2.1 diff -u -r1.12 -r1.12.2.1 --- glasgow_exts.vsgml 1999/07/14 11:33:10 1.12 +++ glasgow_exts.vsgml 1999/08/02 09:53:31 1.12.2.1 @@ -1,5 +1,5 @@ % -% $Id: glasgow_exts.vsgml,v 1.12 1999/07/14 11:33:10 simonmar Exp $ +% $Id: glasgow_exts.vsgml,v 1.12.2.1 1999/08/02 09:53:31 simonmar Exp $ % % GHC Language Extensions. % @@ -2127,8 +2127,8 @@ - Use @-fddump-rules@ to see what transformation rules GHC is using. - Use @-fddump-simpl-stats@ to see what rules are being fired. + Use @-ddump-rules@ to see what transformation rules GHC is using. + Use @-ddump-simpl-stats@ to see what rules are being fired. The defintion of (say) @build@ in @PrelBase.lhs@ looks llike this: build :: forall a. (forall b. (a -> b -> b) -> b -> b) -> [a] sphere:users_guide$ In other words, it's fixed already in patchlevel 1. --KW 8-) -- : Keith Wansbrough, MSc, BSc(Hons) (Auckland) : : PhD Student, Computer Laboratory, University of Cambridge, England. : : (and recently of the University of Glasgow, Scotland. [><] ) : : Native of Antipodean Auckland, New Zealand: 174d47' E, 36d55' S.: : http://www.cl.cam.ac.uk/users/kw217/ mailto:[EMAIL PROTECTED] : :-:
Importing in a .hi-boot file
Hi... if I write a .hi-boot(-5) file that imports from another module
(in this case to re-export), GHC looks for that module's .hi file. I
would prefer it to look for a .hi-boot file.
__interface TypeFr 1 0 where
__export TypeFr Type Kind SuperKind ;
1 data Type ;
1 type Kind = Type ;
1 type SuperKind = Type ;
and
__interface Type 1 0 where
__export TypeFr Type Kind SuperKind ;
Here TypeFr is the friends' interface, which contains the
representation details, and Type publishes only the abstract data type.
I would like importers to be able to write
import {-# SOURCE #-} Type( Type )
(if they are not friends), but at present they must write
import {-# SOURCE #-} TypeFr( Type )
Thanks.
--KW 8-)
--
: Keith Wansbrough, MSc, BSc(Hons) (Auckland) :
: PhD Student, Computer Laboratory, University of Cambridge, England. :
: (and recently of the University of Glasgow, Scotland. [><] ) :
: Native of Antipodean Auckland, New Zealand: 174d47' E, 36d55' S.:
: http://www.cl.cam.ac.uk/users/kw217/ mailto:[EMAIL PROTECTED] :
:-:
Minimal complete definition for Enum
Hi... cf Haskell Report appendix A: class Enum ... -- Minimal complete definition: -- toEnum, fromEnum Glasgow Haskell v4.02: KDBPrim.lhs:40: Warning: No explicit method nor default method for `enumFromThen' in an instance declaration for `Enum' Hmm... this seems to be a bug in the Haskell report too... the definition is missing from the example Prelude. Cc'd to Haskell list. --KW 8-) -- : Keith Wansbrough, MSc, BSc(Hons) (Auckland) : : PhD Student, Computer Laboratory, University of Cambridge, England. : : (and recently of the University of Glasgow, Scotland. [><] ) : : Native of Antipodean Auckland, New Zealand: 174d47' E, 36d55' S.: : http://www.cl.cam.ac.uk/users/kw217/ mailto:[EMAIL PROTECTED] : :-:
Re: GHC doesn't understand a .hi file
> Line 114 of Window.hi says:
> > 1 zdfHasTextWindow :: __forall [v] {GUIValue.GUIValue v, GUIState.GUIObject
>Window} => {GUIBaseClasses.HasText Window v} ;
>
> ghc --version says
> > The Glorious Glasgow Haskell Compilation System, version 4.03, patchlevel 0
> I downloaded it around 18th May from the CVS repository and compiled it
> for sparc-solaris.
On the 11th May the .hi format changed from what you have above,
slightly; this shouldn't cause the problem you mention but it does mean
that your ghc is older than you think. It should look like this:
> 1 zdfHasTextWindow :: __forall [v] => {GUIValue.GUIValue v} -> {GUIState.GUIObject
>Window} -> {GUIBaseClasses.HasText Window v} ;
HTH.
--KW 8-)
--
: Keith Wansbrough, MSc, BSc(Hons) (Auckland) :
: PhD Student, Computer Laboratory, University of Cambridge, England. :
: (and recently of the University of Glasgow, Scotland. [><] ) :
: Native of Antipodean Auckland, New Zealand: 174d47' E, 36d55' S.:
: http://www.cl.cam.ac.uk/users/kw217/ mailto:[EMAIL PROTECTED] :
:-:
Re: heap and other problems self-compiling 4.02
> But when it cames to compile ParselFace.hs in ghc/compiler/rename the Heap was > exhausted. This problem Isn't it about time a note about -dcore-lint was placed on http://research.microsoft.com/users/t-simonm/ghc/download_ghc_402.html or even better in a README in that file? --KW 8-) -- : Keith Wansbrough, MSc, BSc(Hons) (Auckland) : : PhD Student, Computer Laboratory, University of Cambridge, England. : : (and recently of the University of Glasgow, Scotland. [><] ) : : Native of Antipodean Auckland, New Zealand: 174d47' E, 36d55' S.: : http://www.cl.cam.ac.uk/users/kw217/ mailto:[EMAIL PROTECTED] : :-:
GHC dies with no error message
Probably not repeatable, but in case someone recognises it: In the latest GHC 4.03 from CVS, compiling using ghc-4.02, and with GhcLibHcOpts=-DDEBUG -fno-prune-tydecls -O -fno-specialise, when it gets to lib/exts/Word.lhs it dies with no error message: ==fptools== make all --no-print-directory -r; in /local/scratch/kw217/Builds/i386-unknown-linux/fptools-4.xx-cvs-w402 /ghc/lib/exts ../../../ghc/driver/ghc -recomp -cpp -fglasgow-exts -fvia-C -Rghc-timing -DDEBUG -fno-prune-tydecls -O -fno-specialise -static -H12m -monly-3-regs -c Word.lhs -o Word.o -osuf o make[3]: *** [Word.o] Error 1 make[2]: *** [all] Error 1 make[1]: *** [all] Error 1 make: *** [all] Error 1 Make all failed; aborting... When I change into the appropriate directory and apply the above command with a -v added on the end to find out where it's dying, it works fine. A classic case of `it doesn't crash when I'm in the debugger' (s/debugger/verbose mode/ of course). Ideas? Thanks. --KW 8-) -- : Keith Wansbrough, MSc, BSc(Hons) (Auckland) : : PhD Student, Computer Laboratory, University of Cambridge, England. : : (and recently of the University of Glasgow, Scotland. [><] ) : : Native of Antipodean Auckland, New Zealand: 174d47' E, 36d55' S.: : http://www.cl.cam.ac.uk/users/kw217/ mailto:[EMAIL PROTECTED] : :-:
createPipe documentation error
I suspect this is a documentation error... Posix.createPipe returns two Fds, one for reading and one for writing. According to chapter 6 of the User Guide, they are (write,read); according to the sources and a test program, they are (read,write). Just FYI. --KW 8-) -- : Keith Wansbrough, MSc, BSc(Hons) (Auckland) : : PhD Student, Computer Laboratory, University of Cambridge, England. : : (and recently of the University of Glasgow, Scotland. [><] ) : : Native of Antipodean Auckland, New Zealand: 174d47' E, 36d55' S.: : http://www.cl.cam.ac.uk/users/kw217/ mailto:[EMAIL PROTECTED] : :-:
-Wall and underscored names
Consider the following simple Haskell program.
---8<---
import System
data Foo = Bar
| Baz
deriving (Eq,Ord)
main :: IO ()
main = do { argv <- getArgs
; case argv of
["forty-two"] -> print "HHGTTG"
_otherwise-> print "oh well"
}
---8<---
With this morning's ghc-4.03 and the -Wall option, I get the
following:
---8<---
sphere$ /homes/kw217/Scratch/Builds/i386-unknown-linux/fptools-4.xx-cvs/
ghc/driver/ghc-4.03 Test.hs -Wall
Test.hs:11: Warning: Defined but not used: _otherwise
Note: renameSourceCode found warnings
Test.hs:3: Warning: Defined but
not used: cmp_eq{-ryO-}
:
Warning: definition but no
type signature for
`con2tag_Foozh{-rxq-}'
ghc-4.03: module version unchanged at 2
sphere$
---8<---
Notice three things here.
1. Despite the following comment in the CVS log for 1999/01/14 17:59:10
sof:
* _ as lower-case letter, "_" is a reserved id. Prefixing unused
variable names in patterns with '_' causes the renamer not to
report such names as being unused.
we are getting a warning for `_otherwise'.
2. The formatting of the next two warnings leaves something to be
desired.
3. The warnings for cmp_eq and Foo# relate to internal GHC-generated
code, rather than anything the programmer has done wrong. (except
perhaps that the Eq and Ord dictionaries are not used; but then the
error message is rather unclear).
--KW 8-)
--
: Keith Wansbrough, MSc, BSc(Hons) (Auckland) :
: PhD Student, Computer Laboratory, University of Cambridge, England. :
: (and recently of the University of Glasgow, Scotland. [><] ) :
: Native of Antipodean Auckland, New Zealand: 174d47' E, 36d55' S.:
: http://www.cl.cam.ac.uk/users/kw217/ mailto:[EMAIL PROTECTED] :
:-:
Warning compiling prelude with ghc-4.03
On a GHC built with ghc-3.02 from CVS sources:
cp PrelGHC.hi-boot PrelGHC.hi
rm -f PrelBase.o ; if [ ! -d PrelBase ]; then mkdir PrelBase; else find
PrelBase -name '*.o' -print | xargs rm -f __rm_food ; fi ;
../../../ghc/driver/ghc -recomp -cpp -fglasgow-exts -fvia-C -Rghc-timing -O
-split-objs -odir PrelBase -H10m -c PrelBase.lhs -o PrelBase.o -osuf o
WARNING: file rename/RnIfaces.lhs line 308
PrelPack!packCStringzh{-0j,j-}
WARNING: file rename/RnIfaces.lhs line 308
PrelPack!unpackCStringzh{-0u,j-}
WARNING: file rename/RnIfaces.lhs line 308
PrelPack!unpackNByteszh{-0r,j-}
WARNING: file rename/RnIfaces.lhs line 308
PrelPack!unpackAppendCStringzh{-0s,j-}
WARNING: file rename/RnIfaces.lhs line 308
PrelPack!unpackFoldrCStringzh{-0t,j-}
WARNING: file rename/RnIfaces.lhs line 308
PrelPack!packCStringzh{-0j,j-}
WARNING: file rename/RnIfaces.lhs line 308
PrelPack!unpackCStringzh{-0u,j-}
WARNING: file rename/RnIfaces.lhs line 308
PrelPack!unpackNByteszh{-0r,j-}
WARNING: file rename/RnIfaces.lhs line 308
PrelPack!unpackAppendCStringzh{-0s,j-}
WARNING: file rename/RnIfaces.lhs line 308
PrelPack!unpackFoldrCStringzh{-0t,j-}
WARNING: file rename/RnIfaces.lhs line 308
PrelPack!packCStringzh{-0j,j-}
WARNING: file rename/RnIfaces.lhs line 308
PrelPack!unpackCStringzh{-0u,j-}
WARNING: file rename/RnIfaces.lhs line 308
PrelPack!unpackNByteszh{-0r,j-}
WARNING: file rename/RnIfaces.lhs line 308
PrelPack!unpackAppendCStringzh{-0s,j-}
WARNING: file rename/RnIfaces.lhs line 308
PrelPack!unpackFoldrCStringzh{-0t,j-}
WARNING: file rename/RnIfaces.lhs line 308
PrelPack!packCStringzh{-0j,j-}
WARNING: file rename/RnIfaces.lhs line 308
PrelPack!unpackCStringzh{-0u,j-}
WARNING: file rename/RnIfaces.lhs line 308
PrelPack!unpackNByteszh{-0r,j-}
WARNING: file rename/RnIfaces.lhs line 308
PrelPack!unpackAppendCStringzh{-0s,j-}
WARNING: file rename/RnIfaces.lhs line 308
PrelPack!unpackFoldrCStringzh{-0t,j-}
Any ideas? (it is a modified GHC, but I don't think I modified anything that
early in the compiler).
Thanks.
--KW 8-)
--
: Keith Wansbrough, MSc, BSc(Hons) (Auckland) :
: PhD Student, Computer Laboratory, University of Cambridge, England. :
: (and recently of the University of Glasgow, Scotland. [><] ) :
: Native of Antipodean Auckland, New Zealand: 174d47' E, 36d55' S.:
: http://www.cl.cam.ac.uk/users/kw217/ mailto:[EMAIL PROTECTED] :
:-:
-fglasgow-exts and module exports with GHC 4
I have discovered a bug in the handling of hi files in the presence of
-fglasgow-exts. Below is a module, MyModule.hs, which uses Word internally
but exports a function of type Integer->Integer. There is also a Main.hs
module which uses this function, but of course does not import Word since it
doesn't need to.
Under ghc-3.02 I get the expected behaviour: I give -fglasgow-exts when
compiling MyModule.hs, but not when compiling Main.hs. I do, however, need to
give -fglasgow-exts when linking.
Under ghc-4.01 (well, the head of the CVS tree as of yesterday), however, I
need to give -fglasgow-exts when compiling Main.hs, too. This is surely wrong!
I have attached a README giving a transcript of the session.
--KW 8-)
module MyModule ( myFun ) where
import Word ( Word32 )
myFun :: Integer -> Integer
myFun n = let w :: Word32
w = fromInteger n
w' :: Word32
w' = w + 1
in toInteger w'
module Main ( main ) where
import MyModule ( myFun )
main = do { let n :: Integer
n = 1
; print (myFun n)
}
Keith Wansbrough 1998-12-17
I think I have found a bug in GHC regarding the -fglasgow-exts flag.
If I have a module that requires -fglasgow-exts, and export from this
module some functions and/or constructors that don't explicitly
mention this -fglasgow-exts stuff, I should be able to import the
module and use it in another module without -fglasgow-exts. Certainly
the compiler needs to look at the exts libraries, but this should all
be behind the scenes in the hi-file-handling stuff. This appears not
to be the case:
First, with ghc-3.02 pl 0:
sphere:FGEBug$ ghc-3.02 -c MyModule.hs
MyModule.hs:3: Could not find valid interface file `Word'
MyModule.hs:3: Module `Word' does not export `Word32'
Compilation had errors
[as I expected --KSW]
sphere:FGEBug$ ghc-3.02 -c MyModule.hs -fglasgow-exts
ghc-3.02: module version changed to 1; reason: no old .hi file
sphere:FGEBug$ ghc-3.02 -c Main.hs
ghc-3.02: module version changed to 1; reason: no old .hi file
sphere:FGEBug$ ghc-3.02 Main.o MyModule.o -o main
MyModule.o(.text+0x8e): undefined reference to `Word_Z36dIntegralWord320_closure'
MyModule.o(.text+0x13e): undefined reference to `Word_Z36dNumWord320_closure'
MyModule.o(.text+0x1de): undefined reference to `Word_Z36dNumWord320_closure'
MyModule.o(.text+0x27e): undefined reference to `Word_Z36dNumWord320_closure'
[annoying, but fair enough --KSW]
sphere:FGEBug$ ghc-3.02 Main.o MyModule.o -o main -fglasgow-exts
[now for some -v versions so you can see what's going on --KSW]
sphere:FGEBug$ ghc-3.02 -v Main.o MyModule.o -o main
The Glorious Glasgow Haskell Compilation System, version 3.02, patchlevel 0
Linker:
gcc -v -u PrelBase_Z91Z93_closure -u PrelBase_IZh_static_info -u
PrelBase_CZh_static_info -u PrelBase_False_inregs_info -u PrelBase_True_inregs_info -u
DEBUG_REGS -o main Main.o MyModule.o /homes/kw217/ix86_linux/lib/ghc-3.02/TopClosure.o
-L/homes/kw217/ix86_linux/lib/ghc-3.02 -lHS -lHS_cbits -lHSrts -lHSclib -lgmp -lm
Reading specs from /usr/lib/gcc-lib/i386-redhat-linux/2.7.2.3/specs
gcc version 2.7.2.3
ld -m elf_i386 -dynamic-linker /lib/ld-linux.so.2 -o main -u PrelBase_Z91Z93_closure
-u PrelBase_IZh_static_info -u PrelBase_CZh_static_info -u PrelBase_False_inregs_info
-u PrelBase_True_inregs_info -u DEBUG_REGS /usr/lib/crt1.o /usr/lib/crti.o
/usr/lib/gcc-lib/i386-redhat-linux/2.7.2.3/crtbegin.o
-L/homes/kw217/ix86_linux/lib/ghc-3.02 -L/usr/lib/gcc-lib/i386-redhat-linux/2.7.2.3
-L/usr/i386-redhat-linux/lib Main.o MyModule.o
/homes/kw217/ix86_linux/lib/ghc-3.02/TopClosure.o -lHS -lHS_cbits -lHSrts -lHSclib
-lgmp -lm -lgcc -lc -lgcc /usr/lib/gcc-lib/i386-redhat-linux/2.7.2.3/crtend.o
/usr/lib/crtn.o
MyModule.o(.text+0x8e): undefined reference to `Word_Z36dIntegralWord320_closure'
MyModule.o(.text+0x13e): undefined reference to `Word_Z36dNumWord320_closure'
MyModule.o(.text+0x1de): undefined reference to `Word_Z36dNumWord320_closure'
MyModule.o(.text+0x27e): undefined reference to `Word_Z36dNumWord320_closure'
Command exited with non-zero status 1
0.74user 0.53system 0:15.42elapsed 8%CPU (0avgtext+0avgdata 0maxresident)k
0inputs+0outputs (247major+668minor)pagefaults 0swaps
deleting... main
rm -f /tmp/ghc29648*
sphere:FGEBug$ ghc-3.02 -v Main.o MyModule.o -o main -fglasgow-exts
The Glorious Glasgow Haskell Compilation System, version 3.02, patchlevel 0
Linker:
gcc -v -u PrelBase_Z91Z93_closure -u PrelBase_IZh_static_info -u
PrelBase_CZh_static_info -u PrelBase_False_inregs_info -u PrelBase_True_inregs_info -u
DEBUG_REGS -o main Main.o MyModule.o /homes/kw217/ix86_linux/lib/ghc-3.02/TopClosure.o
-L/homes/kw217/ix86_linux/lib/ghc-3.02 -L/homes/kw217/ix86_linux/lib/ghc-3.02
-lHSexts -lHS -lHS_cbits -lHSrts -lHSclib -lgmp -lm
Reading specs from /usr/lib/gcc-lib/i386-redhat-li
Jeepers! message
What does this mean? (it's a warning, not an error)
(compiling the prelude with a ghc-new-rts as of yesterday, plus some mods of
my own, compiled with -DDEBUG using ghc-3.02, on Linux).
../../../ghc/driver/ghc -recomp -cpp -fglasgow-exts -fvia-C -Rghc-timing -O
-spl
it-objs -odir CPUTime-c CPUTime.lhs -o CPUTime.o -osuf o
Jeepers! ReduceContext: `PrelBase.Eq{-23,n-} (PrelNum.Ratio{-3u,n-}
PrelBase.Int
eger{-3l,W-}) {-a2Ek-}' arising from use of `PrelNum.round{-rpc,n-}' at
CPUTime.
lhs:90
`PrelBase.Num{-2c,n-} (PrelNum.Ratio{-3u,n-}
PrelBase.In
teger{-3l,W-}) {-a2Eh-}' arising from use of `PrelNum.round{-rpc,n-}' at
CPUTime
.lhs:90
`PrelNum.Real{-2f,n-} (PrelNum.Ratio{-3u,n-}
PrelBase.In
teger{-3l,W-}) {-a2Ee-}' arising from use of `PrelNum.round{-rpc,n-}' at
CPUTime
.lhs:90
`PrelNum.RealFrac{-2h,n-} (PrelNum.Ratio{-3u,n-}
PrelBas
e.Integer{-3l,W-}) {-a2Eb-}' arising from use of `PrelNum.round{-rpc,n-}' at
CPU
Time.lhs:90
`PrelNum.round{-rpc,n-} at [PrelNum.Ratio{-3u,n-}
PrelBa
se.Integer{-3l,W-}] {-a2DI-}' arising from use of `PrelNum.round{-rpc,n-}' at
CP
UTime.lhs:90
Jeepers! ReduceContext: `PrelBase.Eq{-23,n-} PrelBase.Integer{-3l,W-}
{-a2Em-}'
arising from use of `PrelNum.round{-rpc,n-}' at CPUTime.lhs:90
`PrelBase.Eq{-23,n-} (PrelNum.Ratio{-3u,n-}
PrelBase.Int
eger{-3l,W-}) {-a2Ek-}' arising from use of `PrelNum.round{-rpc,n-}' at
CPUTime.
lhs:90
`PrelBase.Num{-2c,n-} (PrelNum.Ratio{-3u,n-}
PrelBase.In
teger{-3l,W-}) {-a2Eh-}' arising from use of `PrelNum.round{-rpc,n-}' at
CPUTime
.lhs:90
`PrelNum.Real{-2f,n-} (PrelNum.Ratio{-3u,n-}
PrelBase.In
teger{-3l,W-}) {-a2Ee-}' arising from use of `PrelNum.round{-rpc,n-}' at
CPUTime
.lhs:90
`PrelNum.RealFrac{-2h,n-} (PrelNum.Ratio{-3u,n-}
PrelBas
e.Integer{-3l,W-}) {-a2Eb-}' arising from use of `PrelNum.round{-rpc,n-}' at
CPU
Time.lhs:90
`PrelNum.round{-rpc,n-} at [PrelNum.Ratio{-3u,n-}
PrelBa
se.Integer{-3l,W-}] {-a2DI-}' arising from use of `PrelNum.round{-rpc,n-}' at
CP
UTime.lhs:90
Jeepers! ReduceContext: `PrelBase.Show{-2i,n-} (PrelNum.Ratio{-3u,n-}
PrelBase.I
nteger{-3l,W-}) {-a2En-}' arising from use of `PrelNum.round{-rpc,n-}' at
CPUTim
e.lhs:90
`PrelBase.Num{-2c,n-} (PrelNum.Ratio{-3u,n-}
PrelBase.In
teger{-3l,W-}) {-a2Eh-}' arising from use of `PrelNum.round{-rpc,n-}' at
CPUTime
.lhs:90
`PrelNum.Real{-2f,n-} (PrelNum.Ratio{-3u,n-}
PrelBase.In
teger{-3l,W-}) {-a2Ee-}' arising from use of `PrelNum.round{-rpc,n-}' at
CPUTime
.lhs:90
`PrelNum.RealFrac{-2h,n-} (PrelNum.Ratio{-3u,n-}
PrelBas
e.Integer{-3l,W-}) {-a2Eb-}' arising from use of `PrelNum.round{-rpc,n-}' at
CPU
Time.lhs:90
`PrelNum.round{-rpc,n-} at [PrelNum.Ratio{-3u,n-}
PrelBa
se.Integer{-3l,W-}] {-a2DI-}' arising from use of `PrelNum.round{-rpc,n-}' at
CP
UTime.lhs:90
<>
ghc: module version changed to 1; reason: no old .hi file
Thanks..
--KW 8-)
--
: Keith Wansbrough, MSc, BSc(Hons) (Auckland) :
: PhD Student, Computer Laboratory, University of Cambridge, England. :
: (and recently of the University of Glasgow, Scotland. [><] ) :
: Native of Antipodean Auckland, New Zealand: 174d47' E, 36d55' S.:
: http://www.cl.cam.ac.uk/users/kw217/ mailto:[EMAIL PROTECTED] :
:-:
configure --exec-prefix
Hi... using yesterday's anon-cvs new-rts tree, I configured with ./configure --prefix=~ --exec-prefix=~/ix86_linux Everything finally built, and so I did make install For some reason, --exec-prefix appears to have been ignored. Further, everything has wound up in ~/lib/* rather than ~/lib/ghc-4.01/* as I would have expected. Ideas? Thanks.. --KW 8-) -- : Keith Wansbrough, MSc, BSc(Hons) (Auckland) : : PhD Student, Computer Laboratory, University of Cambridge, England. : : (and recently of the University of Glasgow, Scotland. [><] ) : : Native of Antipodean Auckland, New Zealand: 174d47' E, 36d55' S.: : http://www.cl.cam.ac.uk/users/kw217/ mailto:[EMAIL PROTECTED] : :-:
Re: GHC 4.01 "gmake all" problem
> The first compilation of ghc-4.01 succeded - but I had given > a wrong installation prefix directory. > > I ran configure again with the corrected prefix switch, > followed by "gmake boot ; gmake all". > > Since the I get this error: [..] > GC.c:609: `DATA_SECTION_END_MARKER' undeclared (first use this function) > GC.c:609: (Each undeclared identifier is reported only once > GC.c:609: for each function it appears in.) > GC.c:1102: `TEXT_SECTION_END_MARKER' undeclared (first use this function) > GC.c:1320: warning: unused variable `info' Aha! Me too... I've been getting this for a while, and thought I was the only one. I too changed the prefix at some stage in the distant past, although I hadn't considered that that could be the problem. Actually, for me those two are defined but the corresponding DATA_SECTION_END_MARKER_DECL etc is not set up correctly, so I get `end' undeclared and `etext' undeclared. The generated mk/config.h contains: /* Define as the symbol which marks the end of the data section */ #define DATA_SECTION_END_MARKER end /* Define as the decl which terminates the data section */ /* #undef DATA_SECTION_END_MARKER_DECL */ which seems curious. --KW 8-) --KW 8-) -- : Keith Wansbrough, MSc, BSc(Hons) (Auckland) : : PhD Student, Computer Laboratory, University of Cambridge, England. : : (and recently of the University of Glasgow, Scotland. [><] ) : : Native of Antipodean Auckland, New Zealand: 174d47' E, 36d55' S.: : http://www.cl.cam.ac.uk/users/kw217/ mailto:[EMAIL PROTECTED] : :-:
Re: ghc-4.00 cvs source build question
> This morning I got the cvs source tree from > > CVSROOT="[EMAIL PROTECTED]:/cvs" > [..] > > Did you put Version 3.03 back in the repository? Or is it just > the wrong name? [to the list because I had the same problem] The head of the tree is still 3.03; if you want 4 you have to do cvs co -r new-rts fpconfig cd fptools cvs co -r new-rts ghc HTH. --KW 8-) -- : Keith Wansbrough, MSc, BSc(Hons) (Auckland) : : PhD Student, Computer Laboratory, University of Cambridge, England. : : (and recently of the University of Glasgow, Scotland. [><] ) : : Native of Antipodean Auckland, New Zealand: 174d47' E, 36d55' S.: : http://www.cl.cam.ac.uk/users/kw217/ mailto:[EMAIL PROTECTED] : :-:
