Archives of the Caml mailing list > Message from Xavier Leroy

Browse thread

[Caml-list] Compiler killer code?

Alessandro Baretta
- William Lee Irwin III
  - William Lovas
  - Alessandro Baretta
    - Xavier Leroy
      - Blair Zajac
        
        Xavier Leroy
        
        Michal Moskal
        
        Xavier Leroy
    - Jacques Garrigue
      - Alessandro Baretta

Date:	-- (:)
From:	Xavier Leroy <xavier.leroy@i...>
Subject:	Re: [Caml-list] Re: Compiler killer code?

> [Discussion of test suite]
> And what about 2 stage bootstrap

It's the "bootstrap" entry of the OCaml Makefile, and we've been doing
this for years.  (We compare executables and gcc compares object
files, but that doesn't make any significant differences.)

It is a good test, but by no means a complete test
suite.  In particular, it tests correct source code, while the hardest
thing to test in a type-checker and compiler are the error cases
(like the initial bug report that triggered this discussion, where
source code that should have been rejected was not).

- Xavier Leroy
-------------------
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