Commits

Brian McKenna  committed 85fd1df

Cleared up some docs.

  • Participants
  • Parent commits a8ca2d1

Comments (0)

Files changed (2)

File typeinference.js

 //
 // In case #1, if `t1` is a type variable and `t2` is not currently equal,
 // unification will set `t1` to have an instance of `t2`. When `t1` is pruned,
-// it will unchain and to a type without an instance.
+// it will unchain to a type without an instance.
 //
 // In case #2, do a deep unification on the type, using recursion.
 //
 // ### Occurs check
 //
 // These functions check whether the type `t2` is equal to or contained within
-// the type `t1`. Used for recursive unification checking and 
+// the type `t1`. Used for checking recursive definitions in `unify` and
+// checking if a variable is non-generic in `fresh`.
 var occursInType = function(t1, t2) {
     t2 = prune(t2);
     if(t2 == t1) {
 
 // ## Specific types
 //
-// A `FunctionType` contains a `types` array. Each element but before last
-// represents an argument's type. The last element represents the return type.
+// A `FunctionType` contains a `types` array. The last element represents the
+// return type. Each element before represents an argument type. 
 var FunctionType = function(types) {
     this.types = types;
 };