From 1fd7e4392db0bace167853850188c464b00a8126 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Wed, 2 May 2012 08:56:19 -0400 Subject: Don't modify the module cache after elaboration failures --- tests/baddep.urp | 2 ++ tests/baddep1.ur | 1 + tests/baddep2.ur | 1 + 3 files changed, 4 insertions(+) create mode 100644 tests/baddep.urp create mode 100644 tests/baddep1.ur create mode 100644 tests/baddep2.ur (limited to 'tests') diff --git a/tests/baddep.urp b/tests/baddep.urp new file mode 100644 index 00000000..0e65b25d --- /dev/null +++ b/tests/baddep.urp @@ -0,0 +1,2 @@ +baddep1 +baddep2 diff --git a/tests/baddep1.ur b/tests/baddep1.ur new file mode 100644 index 00000000..14573638 --- /dev/null +++ b/tests/baddep1.ur @@ -0,0 +1 @@ +val x : int = "hi" diff --git a/tests/baddep2.ur b/tests/baddep2.ur new file mode 100644 index 00000000..22c5e3ae --- /dev/null +++ b/tests/baddep2.ur @@ -0,0 +1 @@ +fun main () : transaction page = return -- cgit v1.2.3