A.J. Nyquist
A.J. Nyquist
Facilitates the introspection of types. - `(typeOf 1) => Integer` - `(typeRep (the (Proxy (Arrow Integer)) Proxy) => (-> Integer)` Every defined type is `Typeable`. Depends on: #681
This provides: - Portable hash-tables using [genhash](https://github.com/pnathan/genhash) - Load-forms for SBCL hash-tables - Remove SBCL version-specific code (I still need to test this actually works on previous versions of SBCL)...
A specialized procedure should have the same input and output as its non-specialized counter-part, so it would make sense to have a flag to run tests without specialization. Perhaps even...
``` (coalton-toplevel (define (f x y) (+ x y)) (declare g (Num :a => :a -> :a)) (define g (f 2)) (monomorphize) (declare h (Integer -> Integer)) (define (h y)...