Changes between Version 5 and Version 6 of PolymorphicKinds


Ignore:
Timestamp:
Oct 17, 2008 9:02:07 AM (6 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • PolymorphicKinds

    v5 v6  
    9292=== Option 3: Completely implicit quantified kind variables === 
    9393 
     94In any type signature, find all the free kind variables; bring them into scope; kind-check the type signature; fix the sorts of the kind variables. Entirely local to an explicit, user-written type signature. 
    9495{{{ 
    9596#!text/x-haskell