Esempi in Python per unify_var

Esempio n. 1

File: test_infer.py Progetto: MostAwesomeDude/secret

 def test_unify_concrete_type(self):
     x = "Test"
     y = "a"
     result = "Test", ("a", "Test")
     self.assertEqual(unify_var(x, y), result)

Esempio n. 2

File: test_infer.py Progetto: MostAwesomeDude/secret

 def test_unify_concrete_type(self):
     x = "Test"
     y = "a"
     result = "Test", ("a", "Test")
     self.assertEqual(unify_var(x, y), result)

Esempio n. 3

File: test_infer.py Progetto: MostAwesomeDude/secret

 def test_unify_concrete_anything(self):
     x = "Test"
     y = "*"
     result = "Test", (None, None)
     self.assertEqual(unify_var(x, y), result)

Esempio n. 4

File: test_infer.py Progetto: MostAwesomeDude/secret

 def test_unify_concrete_anything(self):
     x = "Test"
     y = "*"
     result = "Test", (None, None)
     self.assertEqual(unify_var(x, y), result)