Commit - fedora-ocaml - e499400188dae49812f36c3ba3ca2ab7b67a7b9c

fedora-ocaml

`e499400` PR#6216: inlining of GADT matches generates invalid assembly

Authored and Committed by Xavier Leroy 10 years ago

raw patch tree parent

2 files changed. 17 lines added. 7 lines removed.

    PR#6216: inlining of GADT matches generates invalid assembly
    (reflecting commit r14251 on version/4.01).
    
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14252 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

Changes

file modified

+2 -0

asmcomp/cmmgen.ml

file modified

+15 -7

fedora-ocaml

Source Code

e499400 PR#6216: inlining of GADT matches generates invalid assembly

Authored and Committed by Xavier Leroy 10 years ago

`e499400` PR#6216: inlining of GADT matches generates invalid assembly