שאלות ותשובות - HW4 Frequently Asked Questions - HW4 Вопросы и Ответы - HW4 أسئلة وأجوبة - HW4

		.. (לתיקייה המכילה)

In Question 1 section b: What are the rules for correctness of mapping ?

The rules for correctness of a mapping are as follow: - two mapping of same atom with identical values - Legal - two mapping of same atom with different values - Not Legal - Redundant mapping ( an atom that doesn't exist in the formula is in the mapping)- You choice

In Question 1 section c , what are the rules regarding space and parenthesis?

The checking of this assignment will be done manually so as long as the transfer from a proposition to string is logically true - put the parenthesis where you see fit

When apllying the list2Tree function on an empty list or the Tree2List function on an empty tree ,are we suppose to handle this warning : stdIn:16.1-16.13 Warning: type vars not generalized because of value restriction are instantiated to dummy types (X1,X2,...)

No, its okay to submit a function that returns this warning when instantiated on an empty list

Can we assume that the input to the list2Tree function is a list that was transformed to a tree that used to be a complete tree ?

Yes. In other words - you output needs to be a complete tree.

We're getting the error: Error: type constructor list given 1 arguments, wants 2 What to do?

The origin of this error is because you defined list for question number 2 and then multilist for question 5. Either give list another name or load the solution to Question 5 separately

Compiler control depth doesn't work for linux. What to do?

For linux do this: Control.Print.printDepth := 100; Control.Print.printLength Control.Print.stringDepth ( thanks to the student Tzafrir Rehan)