Skip to content

Conversation

panacekcz
Copy link

Student CŽV

The genericDot always returns a single double.
The analysis could be a bit more precise if bottom
was returned when the call is guaranteed to fail.
However, genericArithmetic and genericRelational
do not do this.

The genericDot always returns a single double.
The analysis could be a bit more precise if bottom
was returned when the call is guaranteed to fail.
However, genericArithmetic does not do this.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant