Revision - fdc77b1 - Stable version with pipes, but inefficient on big data structure:

Revision fdc77b1b153997dd956bae9f313fa640ec7ce8fb authored by Roberto Di Cosmo on 19 July 2011, 09:44:50 UTC, committed by Roberto Di Cosmo on 19 July 2011, 09:44:50 UTC

Stable version with pipes, but inefficient on big data structure:

saving state before trying a different strategy.

1 parent 25b4052

Files
Changes

File	Mode	Size
_tags	-rw-r--r--	26 bytes
parmap.ml	-rw-r--r--	3.8 KB

Showing with 0 additions and 0 deletions (0 / 0 diffs computed)

Computing file changes ...