Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Commits on May 11, 2012
  1. @aspiwack

    Tentative and very experminental support for typerex. Enabled with

    aspiwack authored
    ./configure -typerex .
    
    It causes (non-fatal) errors when compiling files without a .mli (the problem
    seems to have something to do with the flag -intf-suffix .cmi).
    
    In practice, most typerex functionalities don't work well because typerex
    fails its lookup into files compiled with -rectypes.
    
    git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15302 85f007b7-540e-0410-9357-904b9bb8a0f7
Something went wrong with that request. Please try again.