Patch title: Release 85 bulk changes
Abstract:
File: /pliant/language/parser/extend.page
Key:
    Removed line
    Added line
   
title "Extending or switching Pliant syntax"


header "simply extending the default Pliant syntax"

  header "defining new operators"
header "simply extending the default Pliant syntax"

  header "defining new operators"

  
    [If you just wish to add a few operators to the default 
    [If you just wish to add a few operators to the default 

  
    para
      [It's prototype is:]
      listing
        function operator `name `priority `nb_before `nb_aft
          arg Int `priority `nb_before `nb_after
    para
      [It's prototype is:]
      listing
        function operator `name `priority `nb_before `nb_aft
          arg Int `priority `nb_before `nb_after

  
    para
      [Operators are handled from the highest priority first
    para
      [Operators are handled from the highest priority first

  
    para
      [The 'nb_before' and 'nb_after' parameters specify how


    para
      [The 'nb_before' and 'nb_after' parameters specify how



header "recognizing tokens: parser filters"


    para
      [Another pseudo parser filter is 'parser_filter_handle
header "recognizing tokens: parser filters"


    para
      [Another pseudo parser filter is 'parser_filter_handle

      
header "Folding expressions: parser operators"


      
header "Folding expressions: parser operators"