Ticket #2978: MyPatch.patch

File MyPatch.patch, 1.1 KB (added by porges, 5 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).