diff options
| author |  Benjamin Barenblat <benjamin@barenblat.name> | 2017-07-23 08:41:33 -0400 |
|---|---|---|
| committer | Benjamin Barenblat <benjamin@barenblat.name> | 2017-07-23 08:41:33 -0400 |
| commit | 88fa6f57be4b520e2a01dd476d249e91ba7f262e (patch) | |
| tree | 491d3b13813610943c60460d3e178d3a73916346 /tests | |
| parent | 6145d9df05f442e29dfa96a0b8e15ffcc2d683dd (diff) | |
| parent | f814fd699dc707e810c996062370ee787863d926 (diff) | |
Merge branch 'upstream' into dfsg_clean20170720+dfsg
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> |