Skip to content

Fix Typos #94

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 1 commit into from
Dec 3, 2015
Merged

Fix Typos #94

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 2 additions & 2 deletions docs/TypeChecker.rst
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -383,7 +383,7 @@ for a enum element that has no extra data, or it can be ``T2 -> T0``,
where ``T2`` is the data associated with the enum element. For the
latter case, the actual arguments are parsed as part of the unresolved
member reference, so that a function application constraint describes
their conversion to the input tyoe ``T2``.
their conversion to the input type ``T2``.

Polymorphic Types
''''''''''''''''''''''''''''''''''''''''''''''
Expand Down Expand Up @@ -668,7 +668,7 @@ choices of the two systems are compared to produce a relative score:
the other, the solution with the subtype earns +1.

- If an overload set has different selected overloads in the two
soluions, the overloads are compared. If the type of the
solutions, the overloads are compared. If the type of the
overload picked in one solution is a subtype of the type of
the overload picked in the other solution, then first solution earns
+1.
Expand Down