Skip to content
  • Alec Theriault's avatar
    Allow (unparenthesized) kind signatures · bace26aa
    Alec Theriault authored and Ryan Scott's avatar Ryan Scott committed
    Summary: This allows for things like `[t :: MyKind]`, `(a :: k, b)`, and so on.
    
    Test Plan: make TEST=T11622 && make TEST=T8708
    
    Reviewers: RyanGlScott, bgamari, simonpj, goldfire, alanz
    
    Reviewed By: RyanGlScott, simonpj
    
    Subscribers: alanz, simonpj, rwbarton, mpickering, carter
    
    GHC Trac Issues: #11622, #8708
    
    Differential Revision: https://phabricator.haskell.org/D5173
    bace26aa