Browse thread
compiling large file hogs RAM and takes a long time.
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
| Date: | -- (:) |
| From: | Sam Steingold <sds@g...> |
| Subject: | Re: large parametrized polymorphic variant type combinations take forever to compile |
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Jacques Garrigue wrote: >>> Could you send me your real code, so that I can see whether something >>> unexpected is happening? >> attached > > Seems you're lucky. The fix I did yesterday after reading your first > mail, combined with the fixes following the previous discussion, > solved the problem. thanks. does this also fix the "|#" compilation time? right now it takes 8+ hours and does NOT finish in that time. -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.6 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org iD8DBQFGlNcyPp1Qsf2qnMcRAh9KAKCDedfrErrM6V4GHpi42KKQWaroNACffz2K g1esgfFg8vOmPh+NZ7C4fIA= =Y4ab -----END PGP SIGNATURE-----