Skip to content
Snippets Groups Projects
Commit e92eba6a authored by Kevin Glynn's avatar Kevin Glynn
Browse files

[project @ 2000-08-30 03:01:48 by kglynn]

wrong2 wrongly referred to as wrong1 - righted
parent 42b7210b
No related branches found
No related tags found
No related merge requests found
...@@ -3755,7 +3755,7 @@ to arbitrary expressions. For example, this is <Emphasis>not</Emphasis> OK: ...@@ -3755,7 +3755,7 @@ to arbitrary expressions. For example, this is <Emphasis>not</Emphasis> OK:
"wrong2" forall f. f True = True "wrong2" forall f. f True = True
</ProgramListing> </ProgramListing>
In <Literal>"wrong1"</Literal>, the LHS is not an application; in <Literal>"wrong1"</Literal>, the LHS has a pattern variable In <Literal>"wrong1"</Literal>, the LHS is not an application; in <Literal>"wrong2"</Literal>, the LHS has a pattern variable
in the head. in the head.
</Para> </Para>
</ListItem> </ListItem>
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment