Changes between Initial Version and Version 1 of Ticket #14253, comment 2


Ignore:
Timestamp:
Sep 19, 2017 11:25:51 PM (2 years ago)
Author:
RyanGlScott
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #14253, comment 2

    initial v1  
    1515u _           = False
    1616}}}
     17{{{
     18GHCi, version 8.2.1: http://www.haskell.org/ghc/  :? for help
     19Loaded GHCi configuration from /home/rgscott/.ghci
     20[1 of 1] Compiling Test             ( Test.hs, interpreted )
     21
     22Test.hs:11:1: warning: [-Woverlapping-patterns]
     23    Pattern match has inaccessible right hand side
     24    In an equation for ‘u’: u (MkS MkT2') = ...
     25   |
     2611 | u (MkS MkT2') = True
     27   | ^^^^^^^^^^^^^^^^^^^^
     28}}}
    1729
    1830The fact that `MkT2'` occurs inside of another constructor `MkS` seems to be important, since changing `u` to be of type `T -> Bool` and matching directly on `MkT2'` in the first case resolves the issue.