Changeset 12469 for src/Pugs/Eval

Show
Ignore:
Timestamp:
08/19/06 18:37:47 (2 years ago)
Author:
audreyt
Message:

* Fix hypers with unicode chars.

Files:
1 modified

Legend:

Unmodified
Added
Removed
  • src/Pugs/Eval/Var.hs

    r12466 r12469  
    373373    -- possiblyBuildMetaopVCode :: (_args :: [Exp]) => Var -> Eval (Maybe VCode) 
    374374    possiblyBuildMetaopVCode var@MkVar{ v_categ = cat, v_name = name } 
    375         | C_prefix <- cat, '\171' <- Str.last buf = do 
    376             buildPrefixHyper buf var{ v_name = cast $ Str.init buf } 
     375        | C_prefix <- cat, __"\194\171" `Str.isSuffixOf` buf = do 
     376            buildPrefixHyper buf var{ v_name = cast $ dropEnd 2 buf } 
    377377        | C_prefix <- cat, __"<<" `Str.isSuffixOf` buf = do 
    378378            buildPrefixHyper buf var{ v_name = cast $ dropEnd 2 buf } 
    379         | C_postfix <- cat, '\187' <- Str.head buf = do 
    380             buildPostfixHyper buf var{ v_name = cast $ Str.tail buf } 
     379        | C_postfix <- cat, __"\194\187" `Str.isPrefixOf` buf = do 
     380            buildPostfixHyper buf var{ v_name = cast $ Str.drop 2 buf } 
    381381        | C_postfix <- cat, __">>" `Str.isPrefixOf` buf = do 
    382382            buildPostfixHyper buf var{ v_name = cast $ Str.drop 2 buf } 
    383         | C_infix <- cat, '\187' <- Str.head buf, '\171' <- Str.last buf = do 
    384             buildInfixHyper buf var{ v_name = cast $ Str.init (Str.tail buf) } 
    385         | C_infix <- cat, __">>" `Str.isPrefixOf` buf, __"<<" `Str.isSuffixOf` buf = do 
     383        | C_infix <- cat 
     384        , __"\194\187" `Str.isPrefixOf` buf 
     385        , __"\194\171" `Str.isSuffixOf` buf = do 
     386            buildInfixHyper buf var{ v_name = cast $ Str.drop 2 (dropEnd 2 buf) } 
     387        | C_infix <- cat 
     388        , __">>" `Str.isPrefixOf` buf 
     389        , __"<<" `Str.isSuffixOf` buf = do 
    386390            buildInfixHyper buf var{ v_name = cast $ Str.drop 2 (dropEnd 2 buf) } 
    387391        | C_prefix <- cat, '[' <- Str.head buf, ']' <- Str.last buf = do