[Reference documentation] Incorrect type arguments of FromIterator collect!

[gabrielshanahan]

Hey everyone, I noticed a small typo in https://coalton-lang.github.io/reference/#fromiterator-class - if the class is defined as FromIterator :A :B, then collect! should have signature collect! :: (Iterator :B) → :A), not collect! :: (Iterator :A) → :B).

However, since I suspect that this page is autogenerated, this might be a symptom of a deeper problem of the generation mechanism.

[YarinHeffes]

When a type is printed in Coalton, a fresh type-variable context is created and the variables are labelled alphabetically in the order they appear, i.e., the original labels are forgotten. A change to this would be nice, especially for debugging error messages.

COALTON-USER> (coalton-toplevel
                (declare f (List :element -> Optional :element))
                (define f head))
; No value
COALTON-USER> (type-of 'head)
∀ :A. ((LIST :A) → (OPTIONAL :A))

coalton/src/typechecker/base.lisp

Lines 60 to 65 in 76a9bac

	(defmacro with-pprint-variable-context (() &body body)
	"Create a variable context which can be used with PPRINT-TVAR"
	`(let ((*pprint-tyvar-dict* (make-hash-table :test #'equalp))
	(*coalton-pretty-print-tyvars* t))
	(with-pprint-variable-scope ()
	,@body)))