September 2009 - jhc - Haskell.org

bug report: "Alias still
by David Roundy 05 Sep '09

05 Sep '09

Hi all, I'm getting the following compile error: Converting to Grin... Found 2 CAFs to convert to constants, 0 of which are recursive. Recursive Constant theMain$10 v-1282411543 &(CControl.CoolConcurrent.Thread &(CInt# 0) &(P3_theMain$8)) theMain$11 v-1297615895 &(CControl.CoolConcurrent.TS 0 0 &(CControl.CoolConcurrent.Thread &(CInt# 0) &(P3_theMain$8)) &(CQ.Q &[] &[])) CAFS Alias still exists: ELit (Control.CoolConcurrent.TID (EVar (x51::ELit (Jhc.Prim.Int::ESort *)))::ELit (Jhc.Prim.Int::ESort *)) You can (hopefully?) reproduce this error by darcs getting my repository and compiling the demo: darcs get http://abridgegame.org/concurrency jhc demo.hs I believe this is vanilla Haskell code that ought to compile just fine. It does hide parts of the Prelude, but I don't see how that could be involved. For the curious, I started experimenting with a pure-Haskell implementation of concurrency. It looks feasible, although I haven't yet implemented any blocking IO using non-blocking primitives (which is often the whole point of concurrency). Of course, once the FFI is involved, we may want to involve the compiler, since any FFI call may block--and thus might be advisable to run in a separate thread. But that's not an issue for any of my applications. -- David Roundy

3 6

darcs patch: fix System.CPUTime.
by David Roundy 05 Sep '09

05 Sep '09

Hi John, This patch runs into a problem with cross-compiling that I don't know if you have a solution to. The (portable) clock function returns a clock_t, which may be different sizes on different systems. I used hsc2hs to get the size (since Foreign.C.Types is just a stub), but this will fail on cross-compilation. What is the recommended approach? Do we need two copies of the libraries, or is the data from targets.ini somehow available to us, or a way to generate clock_t directly in the C code? David Fri Sep 4 07:20:20 EDT 2009 David Roundy <roundyd(a)physics.oregonstate.edu> * fix System.CPUTime.

3 3

Initial profiling results
by Taral 05 Sep '09

05 Sep '09

Looks like we have two big leaked memory producers: freeMetaVarsEnv/tiNonRecImpl/tiImplGroups/tcBindGroup/tiProgram/tiModules/doModules’/typeCheckGraph/parseFiles/buildLibrary/main freeMetaVarsEnv/tiExpl/tcBindGroup/tiProgram/tiModules/doModules’/typeCheckGraph/parseFiles/buildLibrary/main Any ideas? I'll keep digging. -- Taral <taralx(a)gmail.com> "Please let me know if there's any further trouble I can give you." -- Unknown

2 3

Success with strictness
by Taral 05 Sep '09

05 Sep '09

--- old-jhc/src/FrontEnd/Tc/Monad.hs 2009-09-04 16:27:03.000000000 -0700 +++ new-jhc/src/FrontEnd/Tc/Monad.hs 2009-09-04 16:27:04.000000000 -0700 @@ -50,7 +50,7 @@ import Control.Monad.Error import Control.Monad.Reader -import Control.Monad.Writer +import Control.Monad.Writer.Strict import qualified Data.Traversable as T import qualified Data.Foldable as T import qualified Data.Sequence as Seq Allows compilation of containers with 750m max heap. Takes a couple tries, though, which implies we still may have some leaks. -- Taral <taralx(a)gmail.com> "Please let me know if there's any further trouble I can give you." -- Unknown

2 5

flag to type check only?
by David Roundy 04 Sep '09

04 Sep '09

Hi, I'm wondering if there's an option to stop after type checking? Somehow I thought there was. I know that jhc does all the type checking prior to compiling, but it'd be nice to be able to *just* do the type checking (e.g. for tests to see what modules are available, and what they export). -- David Roundy

1 0

darcs patch: introduce System.Exit and System.Cmd in base.
by David Roundy 04 Sep '09

04 Sep '09

Hi John, Here's a little patch to split System into System.Exit, System.Cmd and System.Environment. I'm not quite clear how haskell98 works, which still seems to provide System, but on the whole this seems to work. David Mon Aug 31 11:06:45 EDT 2009 David Roundy <droundy(a)darcs.net> * introduce System.Exit and System.Cmd in base.

2 1

Memory usage
by Taral 04 Sep '09

04 Sep '09

Stock compile of jhc results in running out of memory trying to make containers.hl (1GB RAM). :( Any ideas? -- Taral <taralx(a)gmail.com> "Please let me know if there's any further trouble I can give you." -- Unknown

2 1

darcs patch: fix grammatical error in warning message.
by David Roundy 02 Sep '09

02 Sep '09

Sorry to be a grammatical nit-picker, but "it's" means "it is", not the possessive... this always bothers me. David Wed Sep 2 15:23:12 EDT 2009 David Roundy <roundyd(a)physics.oregonstate.edu> * fix grammatical error in warning message.

1 0

darcs patch: include $PREFIX/{share, lib}/{jhc, jhc-$SHORTVERSION} in...
by David Roundy 02 Sep '09

02 Sep '09

I would also lean towards trimming the whole default search path down, but didn't want to go that far with an unsolicited patch. I'd probably vote to include just ~/lib/jhc:/usr/local/lib/jhc:/usr/lib/jhc:$PREFIX/lib/jhc:$PREFIX/lib/jhc-0.7 and move the default install into the last entry. Otherwise, it seems like you're asking for folks to get confused as to what packages are actually used. With my change, 16 locations are searched, which seems excessive, particularly as users can always add their own paths via an environment variable. David Wed Sep 2 12:28:53 EDT 2009 David Roundy <roundyd(a)physics.oregonstate.edu> * include $PREFIX/{share,lib}/{jhc,jhc-$SHORTVERSION} in search path. I find it a little annoying that the default search path doesn't include the location where I installed jhc, except the ../share/jhc-0.7 directory, which I'd rather not put stuff in, so I can easily delete all non-standard packages. I also took the liberty of reordering the default search path, so that all the ~/* entries would be before all the /usr/local/* entries, etc.

1 0

darcs patch: give nicer error message on jhc --show-ho foo
by David Roundy 02 Sep '09

02 Sep '09

Wed Sep 2 12:21:43 EDT 2009 David Roundy <roundyd(a)physics.oregonstate.edu> * give nicer error message on jhc --show-ho foo

1 0