diff --git a/tests/compare.mlb b/tests/compare.mlb index bb2db45..4bb3fdf 100644 --- a/tests/compare.mlb +++ b/tests/compare.mlb @@ -4,7 +4,9 @@ ann "allowVectorExps true" in ../data-sets/svelte.sml - (* + (* other datasets commented out + * because they didn't detect any issues + * and give much longer compile times ../data-sets/rust.sml ../data-sets/seph.sml ../data-sets/automerge.sml diff --git a/tests/compare_to_rope.sml b/tests/compare_to_rope.sml index dbc035f..ec97aa8 100644 --- a/tests/compare_to_rope.sml +++ b/tests/compare_to_rope.sml @@ -65,13 +65,22 @@ struct fun main () = let - val (rope, gap) = compareTxns SvelteComponent.txns - val _ = print "string contents are equal\n" - val _ = LineGap.verifyLines gap - (* - val _ = compareTxns Rust.txns - val _ = compareTxns Seph.txns - val _ = compareTxns Automerge.txns + val _ = compareTxns SvelteComponent.txns + val _ = print "string contents and line metadata are equal for svelte\n" + + (* compile times are much longer with the other datasets included + * but running those datasets did not detect any issues after + * all issues were fixed with Svelte. + + * So comment these datasets out. + val _ = compareTxns RustCode.txns + val _ = print "string contents and line metadata are equal for rust\n" + + val _ = compareTxns SephBlog.txns + val _ = print "string contents and line metadata equal for seh" + + val _ = compareTxns AutomergePaper.txns + val _ = print "string contents and line metadata equal for automerge" *) in ()