diff options
| author |  Benjamin Barenblat <bbaren@mit.edu> | 2017-07-23 08:46:06 -0400 |
|---|---|---|
| committer | Benjamin Barenblat <bbaren@mit.edu> | 2017-07-23 08:46:06 -0400 |
| commit | bdde2dd90db28bdf3fe302d2d12f9ae0b9fc61cf (patch) | |
| tree | f6d04dbbc9a3ac1857816b4dc7d20f601edb73da /tests | |
| parent | f6c27c484d82474d14448c907f90165c1696c86d (diff) | |
| parent | 8c58ba2e1db6e97ca1f18fd9ca52ffead53e4a4f (diff) | |
Merge branch 'dfsg_clean'
Diffstat (limited to 'tests')
| -rw-r--r-- | tests/malformed.ur | 3 | ||||
| -rw-r--r-- | tests/malformed.urp | 5 | ||||
| -rw-r--r-- | tests/sigInModule.ur | 8 | ||||
| -rw-r--r-- | tests/topLevelPattern.ur | 5 |
4 files changed, 21 insertions, 0 deletions
diff --git a/tests/malformed.ur b/tests/malformed.ur new file mode 100644 index 00000000..60e0b9f2 --- /dev/null +++ b/tests/malformed.ur @@ -0,0 +1,3 @@ +fun main () : transaction page = return <xml><body> + FYI, this file isn't the malformed one. That's <tt>malformed.urp</tt>. +</body></xml> diff --git a/tests/malformed.urp b/tests/malformed.urp new file mode 100644 index 00000000..d065a037 --- /dev/null +++ b/tests/malformed.urp @@ -0,0 +1,5 @@ +rewrite url Malformed/* + +rewrite style Malformed/* + +malformed diff --git a/tests/sigInModule.ur b/tests/sigInModule.ur new file mode 100644 index 00000000..efb7b0fc --- /dev/null +++ b/tests/sigInModule.ur @@ -0,0 +1,8 @@ +structure A = struct + signature S = sig + val x : int + end +end +structure B : A.S = struct + val x = 42 +end diff --git a/tests/topLevelPattern.ur b/tests/topLevelPattern.ur new file mode 100644 index 00000000..e272c30c --- /dev/null +++ b/tests/topLevelPattern.ur @@ -0,0 +1,5 @@ +val (x, y) = (1, 2) + +fun main () : transaction page = return <xml> + {[x]} + {[y]} = {[x + y]} +</xml> |