annotate tests/subsig.ur @ 1909:659d1f4e95bf

make dist: Use fewer wildcards The remaining ones only work by accident: http://www.gnu.org/software/automake/manual/html_node/Wildcards.html and they have some practical problems too (we don?t really want to distribute include/urweb/config.h or src/config.sml), but this is enough for now to pass ?make distcheck? as long as we don?t run it from a separate build directory. Signed-off-by: Anders Kaseorg <andersk@mit.edu> --- Makefile.am | 6 +++--- src/c/Makefile.am | 2 +- 2 files changed, 4 insertions(+), 4 deletions(-)
author Anders Kaseorg <andersk@mit.edu>
date Fri, 22 Nov 2013 09:36:14 -0500
parents 71bafe66dbe1
children
rev   line source
adamc@60 1 structure M = struct
adamc@60 2 signature S = sig
adamc@60 3 type t
adamc@60 4 end
adamc@60 5 end
adamc@60 6
adamc@60 7 structure N : M.S = struct
adamc@60 8 type t = int
adamc@60 9 end
adamc@60 10
adamc@60 11 structure M' = struct
adamc@60 12 type t = int
adamc@60 13 val y = 42
adamc@60 14
adamc@60 15 signature S = sig
adamc@60 16 val x : t
adamc@60 17 end
adamc@60 18 end
adamc@60 19
adamc@60 20 structure N' : M'.S = struct
adamc@60 21 val x = 0
adamc@60 22 end
adamc@60 23
adamc@60 24 signature S = sig
adamc@60 25 type t
adamc@60 26 val y : t
adamc@60 27
adamc@60 28 signature S = sig
adamc@60 29 val x : t
adamc@60 30 end
adamc@60 31 end
adamc@60 32
adamc@60 33 structure M'S : S = M'
adamc@60 34
adamc@60 35 structure V : M'S.S = struct
adamc@60 36 val x = M'S.y
adamc@60 37 end
adamc@60 38
adamc@60 39 structure M'S' = M'S
adamc@60 40
adamc@60 41 structure V : M'S'.S = struct
adamc@60 42 val x = M'S.y
adamc@60 43 end