• Roland Levillain's avatar
    Polish stc/scoop2.hh. · 8071df3b
    Roland Levillain authored
    	The work is far from beeing finished; we still have to address
    	the problem of deferred virtual types.
    
    	* doc/algorithms.ml: Add a new (non working) example.
    	Typos.
    	* stc/scoop.hh (stc_find_deduce_vtype): Add a missing argument.
    	* stc/scoop2.hh (stc::none): New.
    	(stc::is_found_, stc::is_not_found_): New.
    	(SCOOPED_NAMESPACE): Set to oln.
    	(stc_match_pair_0p_with, stc_match_pair_1p_with
    	(stc_match_pair_2p_with, stc_match_pair_1p_with_error)
    	(stc_match_pair_2p_with_error): New macros.
    	(merge2_): Use them to simplify this struct.
    	(stc_match_triple_0p_with, stc_match_triple_1p_with)
    	(stc_match_triple_2p_with, stc_match_triple_3p_with)
    	(stc_match_triple_2p_with_error, stc_match_triple_3p_with_error):
    	New macros.
    	(merge3_): Use them to simplify this struct.
    	(find): Rename struct as...
    	(find_vtype): ...this.
    	(vtype): New struct.
    	(stc_deferred_vtype, stc_vtype_, stc_vtype)
    	(stc_find_deduce_vtype_, stc_find_deduce_vtype)
    	(stc_deduce_deferred_vtype, stc_deduce_vtype_, stc_deduce_vtype):
    	New macros.
    
    
    git-svn-id: https://svn.lrde.epita.fr/svn/oln/trunk@722 4aad255d-cdde-0310-9447-f3009e2ae8c0
    8071df3b