Changes between Version 22 and Version 23 of DependentHaskell/Phase2


Ignore:
Timestamp:
Jan 28, 2019 4:12:17 PM (7 months ago)
Author:
goldfire
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • DependentHaskell/Phase2

    v22 v23  
    156156where the superclass `(a |> co) ~# b` refers to `co`, so we add `co :: k1 ~# k2` into the superclass, otherwise we get `co` out of scope.
    157157
    158 This definition is, however, wrong, as we cannot have existential variables in superclass. (Skip to the solution to these problems by searching for "Plan of record".)
     158This definition is, however, wrong, as we cannot have existential variables in superclass.
    159159
    160160**Problem with existential variables in superclass.** Let's consider the example