Archives of the Caml mailing list > Message from Jacques Garrigue

Browse thread

[Caml-list] Stack Overflow... (recursion in try-statement)

Oliver Bandel
- Will Benton
- Oliver Bandel
  - John Prevost
    - John Max Skaller
      - Jacques Garrigue
        
        John Max Skaller
    - John Max Skaller
      - Xavier Leroy
    - John Max Skaller
- Warp
  - Oliver Bandel
- Alan Schmitt
  - Charles Martin
  - Oliver Bandel
- John Prevost

Date:	2002-05-22 (03:04)
From:	Jacques Garrigue <garrigue@k...>
Subject:	Re: [Caml-list] Is CVS version of ocaml faster?

From: John Max Skaller <skaller@ozemail.com.au>

> I just built the CVS version of Ocaml
> 
> 	Objective Caml version 3.04+11 (2002-05-16)
> 
> to check out a fix. Felix seems to run correctly now.
> 
> 	***** All 201 tests passed *****

Good

> But .. it seems faster, for example my parser builds in 5 seconds ..
> was 20 seconds. Am I imagining things?

There's a small optimization in the type checker, which can improve
performance if you have lots of mutually recursive types. It's rather
application specific, so I wouldn't say it would improve performance
for everybody, but you can have good surprises. Some exponential cases
become linear.

Jacques Garrigue
-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners