buildAbs

parser.py

@@ -103,7 +103,10 @@ def buildAbs(terme):
     assert (checkType(terme) == ABS)
     input = parseInputFromAbs(terme)
     output = parseOutputFromAbs(terme)
+    if terme [0]!= '(':
         return new_abs((buildTerm(input)),buildTerm(output))
+    else:
+        return buildAbs(getTermFromParantheses(terme,0))
 
 def buildApp(terme):
     assert (checkType(terme) == APP)
@@ -163,4 +166,4 @@ def remove_multiple_spaces(terme):
 # print(findClosingParanthesesIndex('()',0))
 #print(remove_multiple_spaces("x       y    z (#x.z   g)"))
 #print(buildTerm("x "))
-print(checkType("(((#x.x)))"))
\ No newline at end of file
+print(buildAbs("(((#x.x)))"))
\ No newline at end of file