 |
.. (לתיקייה המכילה) | |
May we ignore "Warning: calling polyEqual" warnings?
|
Yes. This warning doesn't indicate any real problem with the code. You can also try turning these warnings off with the command: "Control.polyEqWarn := false" |
In question 7c, what do you mean by saying that "two types match" (טיפוסים תואמים)?
| Two types match if they are equivalent or if one is a subtype of the other. |
In question 5, what should return when we call getPaths with the same source and target node?
|
There is only one simple path from 'v' to 'v'', which is the path [v]. In the example from the PDF, if we write 'getPaths E 2 2', the answer is [[2]]. |
When we call some of our functions with an empty list, we get a message like:
"Warning: type vars not generalized because of value restriction are instantiated to dummy types (X1,X2,...)
val it = [] : ?.X1 list".
Is this a problem?
|
ML gives you this warning when you call a polymorphic function with a polymorphic parameter. You can read more about this at the end of tutorial 3. For assignments in this course, you may ignore these warnings. |
Hint for question 7c:
| Read about "Interface types" at the Go language specification. |
Do we have to use tail recursion for question 5?
| No, you don't. |