# HG changeset patch # User Adam Chlipala # Date 1261670375 18000 # Node ID 5f72a66402f7e896c2eaf09b254fe785621bc457 # Parent e8143451372070fcd76fd45153a32730b22d72ee Test for Firebug weirdness diff -r e81434513720 -r 5f72a66402f7 tests/firebug.ur --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/tests/firebug.ur Thu Dec 24 10:59:35 2009 -0500 @@ -0,0 +1,5 @@ +fun main () = + a <- source "some text"; + return + + diff -r e81434513720 -r 5f72a66402f7 tests/firebug.urp --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/tests/firebug.urp Thu Dec 24 10:59:35 2009 -0500 @@ -0,0 +1,3 @@ +debug + +firebug diff -r e81434513720 -r 5f72a66402f7 tests/firebug.urs --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/tests/firebug.urs Thu Dec 24 10:59:35 2009 -0500 @@ -0,0 +1,1 @@ +val main : unit -> transaction page