Ticket #2978: MyPatch.patch

File MyPatch.patch, 1.1 KB (added by porges, 7 years ago)

patch

  • compiler/parser/Lexer.x

    diff -rN -u old-ghc/compiler/parser/Lexer.x new-ghc/compiler/parser/Lexer.x
    old new  
    728728       ,("→",   ITrarrow, unicodeSyntaxEnabled)
    729729       ,("←",   ITlarrow, unicodeSyntaxEnabled)
    730730       ,("⋯",   ITdotdot, unicodeSyntaxEnabled)
     731       
     732       ,("⤙",   ITlarrowtail, \i -> unicodeSyntaxEnabled i && arrowsEnabled i)
     733       ,("⤚",   ITrarrowtail, \i -> unicodeSyntaxEnabled i && arrowsEnabled i)
     734       ,("⤛",   ITLarrowtail, \i -> unicodeSyntaxEnabled i && arrowsEnabled i)
     735       ,("⤜",   ITRarrowtail, \i -> unicodeSyntaxEnabled i && arrowsEnabled i)
     736       
     737       ,("★", ITstar, \i -> (kindSigsEnabled i || tyFamEnabled i) && unicodeSyntaxEnabled i)
     738       
    731739        -- ToDo: ideally, → and ∷ should be "specials", so that they cannot
    732740        -- form part of a large operator.  This would let us have a better
    733741        -- syntax for kinds: ɑ∷*→* would be a legal kind signature. (maybe).