Mercurial > urweb
annotate tests/sig_impl.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@78 | 1 signature S = sig |
| adamc@78 | 2 type t |
| adamc@78 | 3 val x : t |
| adamc@78 | 4 end |
| adamc@78 | 5 |
| adamc@78 | 6 structure M : S = struct |
| adamc@78 | 7 val x = 0 |
| adamc@78 | 8 end |
| adamc@78 | 9 |
| adamc@78 | 10 signature S = sig |
| adamc@78 | 11 con r :: {Type} |
| adamc@78 | 12 val x : $r |
| adamc@78 | 13 end |
| adamc@78 | 14 |
| adamc@78 | 15 structure M : S = struct |
| adamc@78 | 16 val x = {A = 0, B = "Hi"} |
| adamc@78 | 17 end |
| adamc@78 | 18 |
| adamc@78 | 19 signature S = sig |
| adamc@78 | 20 type t |
| adamc@78 | 21 con r :: {Type} |
| adamc@78 | 22 val x : t -> $r |
| adamc@78 | 23 end |
| adamc@78 | 24 |
| adamc@78 | 25 structure M : S = struct |
| adamc@78 | 26 val x = fn v : int => {A = 0, B = "Hi"} |
| adamc@78 | 27 end |
| adamc@79 | 28 |
| adamc@79 | 29 signature S = sig |
| adamc@79 | 30 con nm :: Name |
| adamc@79 | 31 con t :: Type |
| adamc@79 | 32 con r :: {Type} |
| adamc@79 | 33 val x : $([nm = t] ++ r) |
| adamc@79 | 34 end |
| adamc@79 | 35 |
| adamc@79 | 36 structure M : S = struct |
| adamc@79 | 37 val x = {A = 0, B = "Hi"} |
| adamc@79 | 38 end |
| adamc@79 | 39 |
| adamc@79 | 40 signature S = sig |
| adamc@79 | 41 con nm :: Name |
| adamc@79 | 42 con r :: {Type} |
| adamc@79 | 43 val x : $([nm = int] ++ r) |
| adamc@79 | 44 end |
| adamc@79 | 45 |
| adamc@79 | 46 structure M : S = struct |
| adamc@79 | 47 val x = {A = 0, B = "Hi"} |
| adamc@79 | 48 end |
| adamc@79 | 49 |
| adamc@79 | 50 signature S = sig |
| adamc@79 | 51 con nm :: Name |
| adamc@79 | 52 con r :: {Type} |
| adamc@79 | 53 val x : $([nm = string] ++ r) |
| adamc@79 | 54 end |
| adamc@79 | 55 |
| adamc@79 | 56 structure M : S = struct |
| adamc@79 | 57 val x = {A = 0, B = "Hi"} |
| adamc@79 | 58 end |