From ef81889c1eccb08acc27d47c9df652541134e3db Mon Sep 17 00:00:00 2001 From: Jed Barber Date: Thu, 6 Mar 2014 18:17:15 +1100 Subject: Getting remote and local repos sync'd --- TermNetTest.hs | 17 +++++++++-------- 1 file changed, 9 insertions(+), 8 deletions(-) (limited to 'TermNetTest.hs') diff --git a/TermNetTest.hs b/TermNetTest.hs index 6588a93..57eb06f 100644 --- a/TermNetTest.hs +++ b/TermNetTest.hs @@ -11,15 +11,16 @@ main = do let thm1 = Theorem (Set.empty) stdConstTerm thm2 = Theorem (Set.empty) (stdVarTerm "b") thm3 = Theorem (Set.empty) (stdVarTerm "c") + thm4 = Theorem (Set.empty) (stdAbsTerm "h") - (net1, matches1) = Net.addThm Net.empty thm1 0 - (net2, matches2) = Net.addThm net1 thm2 1 - (net3, matches3) = Net.addThm net2 thm3 2 + net1 = Net.addThm Net.empty thm1 0 + net2 = Net.addThm net1 thm2 1 + net3 = Net.addThm net2 thm3 2 + net4 = Net.addThm net3 thm4 3 + match = Net.matchThm net4 thm4 + - putStrLn (show net3) + putStrLn (show net4) putStrLn "" - putStrLn (show matches3) - putStrLn (intercalate " " . Net.thmToTermString $ thm1) - putStrLn (intercalate " " . Net.thmToTermString $ thm2) - putStrLn (intercalate " " . Net.thmToTermString $ thm3) + putStrLn (show match) -- cgit