[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: | 2007-09-09 (03:13) |
From: | Chris King <colanderman@g...> |
Subject: | Re: Oddness concerning private variants in 3.10.0 |
On 9/7/07, Chris King <colanderman@gmail.com> wrote: > Second, the type button (which is a private variant) isn't even > defined in input_test.ml, it's defined in a module opened by it. Another braino on my part... input_test.ml does actually include the module defining type button. The core of the bug remains however, and a bug report (#4383) has been filed. - Chris