Allow building in a separate build directory Signed-off-by: Anders Kaseorg <andersk@mit.edu> --- Makefile.am | 30 +++--- src/c/Makefile.am | 2 +- src/compiler.mlb | 2 +- src/sources | 302 +++++++++++++++++++++++++++--------------------------- 4 files changed, 168 insertions(+), 168 deletions(-)

signature S = sig
        type t
        val x : t
end

signature S' = sig
        include S
        val y : t
end

signature S'' = sig
        type u
        include S' where type t = int
        type v
end