Changes in / [4432b52:1f9a4d0]

Files:

• doc/theses/andrew_beach_MMath/Makefile (modified) (1 diff)
• doc/theses/andrew_beach_MMath/cfalab.sty (modified) (2 diffs)
• doc/theses/andrew_beach_MMath/existing.tex (deleted)
• doc/theses/andrew_beach_MMath/thesis.tex (modified) (1 diff)
• src/ResolvExpr/AlternativeFinder.cc (modified) (1 diff)
• src/ResolvExpr/CandidateFinder.cpp (modified) (4 diffs)
• src/ResolvExpr/CandidateFinder.hpp (modified) (1 diff)
• src/ResolvExpr/ResolvMode.h (modified) (1 diff)
• src/ResolvExpr/SatisfyAssertions.hpp (modified) (1 diff)

doc/theses/andrew_beach_MMath/Makefile

@@ -31 +31 @@
         ${GLOSSARY} ${BUILD}/${BASE}
         ${LATEX} ${BASE}
+        ${LATEX} ${BASE}
 
 ${DOC}: ${BUILD}/${DOC}

doc/theses/andrew_beach_MMath/cfalab.sty

@@ -27 +27 @@
 % Cforall with the forall symbol.
 \newsymbolcmd\CFA{\textsf{C}\raisebox{\depth}{\rotatebox{180}{\textsf{A}}}}
-% C++ with kerning. (No standard number support.)
-\newsymbolcmd\CPP{\textrm{C}\kern-.1em\hbox{+\kern-.25em+}}
-
-% This is executed very early in the \begin{document} code.
-\AtEndPreamble{
-  \@ifpackageloaded{hyperref}{
-    % Convert symbols to pdf compatable forms when required.
-    \pdfstringdefDisableCommands{
-      \def\CFA{CFA}
-      \def\CPP{C++}
-    }
-  }{}
-}
 
 % The CFA listings language. Based off of ANCI C and including GCC extensions.
@@ -85 +72 @@
     \renewcommand\textunderscore{\csuse{cfalab@textunderscore@#1}}}
 
+% This is executed very early in the \begin{document} code.
+\AtEndPreamble{
+  \@ifpackageloaded{hyperref}{
+    % Convert symbols to pdf compatable forms when required.
+    \pdfstringdefDisableCommands{
+      \def\CFA{CFA}
+    }
+  }{}
+}
+
 \endinput

doc/theses/andrew_beach_MMath/thesis.tex

@@ -50 +50 @@
 % MAIN BODY
 %----------------------------------------------------------------------
-\input{existing}
-\input{features}
 \input{unwinding}
-\input{future}
 
 %======================================================================

src/ResolvExpr/AlternativeFinder.cc

@@ -251 +251 @@
                         SemanticError( expr, "No reasonable alternatives for expression " );
                 }
-                if ( mode.prune ) {
+                if ( mode.satisfyAssns || mode.prune ) {
                         // trim candidates just to those where the assertions resolve
                         // - necessary pre-requisite to pruning

src/ResolvExpr/CandidateFinder.cpp

@@ -1645 +1645 @@
         /// Prunes a list of candidates down to those that have the minimum conversion cost for a given
         /// return type. Skips ambiguous candidates.
-
-} // anonymous namespace
-
-bool CandidateFinder::pruneCandidates( CandidateList & candidates, CandidateList & out, std::vector<std::string> & errors ) {
-        struct PruneStruct {
-                CandidateRef candidate;
-                bool ambiguous;
-
-                PruneStruct() = default;
-                PruneStruct( const CandidateRef & c ) : candidate( c ), ambiguous( false ) {}
-        };
-
-        // find lowest-cost candidate for each type
-        std::unordered_map< std::string, PruneStruct > selected;
-        // attempt to skip satisfyAssertions on more expensive alternatives if better options have been found
-        std::sort(candidates.begin(), candidates.end(), [](const CandidateRef & x, const CandidateRef & y){return x->cost < y->cost;});
-        for ( CandidateRef & candidate : candidates ) {
-                std::string mangleName;
-                {
-                        ast::ptr< ast::Type > newType = candidate->expr->result;
-                        assertf(candidate->expr->result, "Result of expression %p for candidate is null", candidate->expr.get());
-                        candidate->env.apply( newType );
-                        mangleName = Mangle::mangle( newType );
-                }
-
-                auto found = selected.find( mangleName );
-                if (found != selected.end() && found->second.candidate->cost < candidate->cost) {
-                        PRINT(
-                                std::cerr << "cost " << candidate->cost << " loses to "
-                                        << found->second.candidate->cost << std::endl;
-                        )
-                        continue;
-                }
-
-                // xxx - when do satisfyAssertions produce more than 1 result?
-                // this should only happen when initial result type contains
-                // unbound type parameters, then it should never be pruned by
-                // the previous step, since renameTyVars guarantees the mangled name
-                // is unique.
-                CandidateList satisfied;
-                bool needRecomputeKey = false;
-                if (candidate->need.empty()) {
-                        satisfied.emplace_back(candidate);
-                }
-                else {
-                        satisfyAssertions(candidate, localSyms, satisfied, errors);
-                        needRecomputeKey = true;
-                }
-
-                for (auto & newCand : satisfied) {
-                        // recomputes type key, if satisfyAssertions changed it
-                        if (needRecomputeKey)
+        CandidateList pruneCandidates( CandidateList & candidates ) {
+                struct PruneStruct {
+                        CandidateRef candidate;
+                        bool ambiguous;
+
+                        PruneStruct() = default;
+                        PruneStruct( const CandidateRef & c ) : candidate( c ), ambiguous( false ) {}
+                };
+
+                // find lowest-cost candidate for each type
+                std::unordered_map< std::string, PruneStruct > selected;
+                for ( CandidateRef & candidate : candidates ) {
+                        std::string mangleName;
                         {
-                                ast::ptr< ast::Type > newType = newCand->expr->result;
-                                assertf(newCand->expr->result, "Result of expression %p for candidate is null", newCand->expr.get());
-                                newCand->env.apply( newType );
+                                ast::ptr< ast::Type > newType = candidate->expr->result;
+                                assertf(candidate->expr->result, "Result of expression %p for candidate is null", candidate->expr.get());
+                                candidate->env.apply( newType );
                                 mangleName = Mangle::mangle( newType );
                         }
+
                         auto found = selected.find( mangleName );
                         if ( found != selected.end() ) {
-                                if ( newCand->cost < found->second.candidate->cost ) {
+                                if ( candidate->cost < found->second.candidate->cost ) {
                                         PRINT(
-                                                std::cerr << "cost " << newCand->cost << " beats "
+                                                std::cerr << "cost " << candidate->cost << " beats "
                                                         << found->second.candidate->cost << std::endl;
                                         )
 
-                                        found->second = PruneStruct{ newCand };
-                                } else if ( newCand->cost == found->second.candidate->cost ) {
+                                        found->second = PruneStruct{ candidate };
+                                } else if ( candidate->cost == found->second.candidate->cost ) {
                                         // if one of the candidates contains a deleted identifier, can pick the other,
                                         // since deleted expressions should not be ambiguous if there is another option
                                         // that is at least as good
-                                        if ( findDeletedExpr( newCand->expr ) ) {
+                                        if ( findDeletedExpr( candidate->expr ) ) {
                                                 // do nothing
                                                 PRINT( std::cerr << "candidate is deleted" << std::endl; )
                                         } else if ( findDeletedExpr( found->second.candidate->expr ) ) {
                                                 PRINT( std::cerr << "current is deleted" << std::endl; )
-                                                found->second = PruneStruct{ newCand };
+                                                found->second = PruneStruct{ candidate };
                                         } else {
                                                 PRINT( std::cerr << "marking ambiguous" << std::endl; )
                                                 found->second.ambiguous = true;
                                         }
-                                } else { 
-                                        // xxx - can satisfyAssertions increase the cost?
+                                } else {
                                         PRINT(
-                                                std::cerr << "cost " << newCand->cost << " loses to "
+                                                std::cerr << "cost " << candidate->cost << " loses to "
                                                         << found->second.candidate->cost << std::endl;
-                                        )       
+                                        )
                                 }
                         } else {
-                                selected.emplace_hint( found, mangleName, newCand );
-                        }
-                }
+                                selected.emplace_hint( found, mangleName, candidate );
+                        }
+                }
+
+                // report unambiguous min-cost candidates
+                CandidateList out;
+                for ( auto & target : selected ) {
+                        if ( target.second.ambiguous ) continue;
+
+                        CandidateRef cand = target.second.candidate;
+
+                        ast::ptr< ast::Type > newResult = cand->expr->result;
+                        cand->env.applyFree( newResult );
+                        cand->expr = ast::mutate_field(
+                                cand->expr.get(), &ast::Expr::result, move( newResult ) );
+
+                        out.emplace_back( cand );
+                }
+                return out;
         }
 
-        // report unambiguous min-cost candidates
-        // CandidateList out;
-        for ( auto & target : selected ) {
-                if ( target.second.ambiguous ) continue;
-
-                CandidateRef cand = target.second.candidate;
-
-                ast::ptr< ast::Type > newResult = cand->expr->result;
-                cand->env.applyFree( newResult );
-                cand->expr = ast::mutate_field(
-                        cand->expr.get(), &ast::Expr::result, move( newResult ) );
-
-                out.emplace_back( cand );
-        }
-        // if everything is lost in satisfyAssertions, report the error
-        return !selected.empty();
-}
+} // anonymous namespace
 
 void CandidateFinder::find( const ast::Expr * expr, ResolvMode mode ) {
@@ -1778 +1739 @@
         }
 
-        /*
         if ( mode.satisfyAssns || mode.prune ) {
                 // trim candidates to just those where the assertions are satisfiable
@@ -1801 +1761 @@
                 candidates = move( satisfied );
         }
-        */
 
         if ( mode.prune ) {
@@ -1810 +1769 @@
                 )
 
-                CandidateList pruned;
-                std::vector<std::string> errors;
-                bool found = pruneCandidates( candidates, pruned, errors );
+                CandidateList pruned = pruneCandidates( candidates );
 
                 if ( mode.failFast && pruned.empty() ) {
                         std::ostringstream stream;
-                        if (found) {            
-                                CandidateList winners = findMinCost( candidates );
-                                stream << "Cannot choose between " << winners.size() << " alternatives for "
-                                        "expression\n";
-                                ast::print( stream, expr );
-                                stream << " Alternatives are:\n";
-                                print( stream, winners, 1 );
-                                SemanticError( expr->location, stream.str() );
-                        }
-                        else {
-                                stream << "No alternatives with satisfiable assertions for " << expr << "\n";
-                                for ( const auto& err : errors ) {
-                                        stream << err;
-                                }
-                                SemanticError( expr->location, stream.str() );
-                        }
+                        CandidateList winners = findMinCost( candidates );
+                        stream << "Cannot choose between " << winners.size() << " alternatives for "
+                                "expression\n";
+                        ast::print( stream, expr );
+                        stream << " Alternatives are:\n";
+                        print( stream, winners, 1 );
+                        SemanticError( expr->location, stream.str() );
                 }
 

src/ResolvExpr/CandidateFinder.hpp

@@ -40 +40 @@
         /// Fill candidates with feasible resolutions for `expr`
         void find( const ast::Expr * expr, ResolvMode mode = {} );
-        bool pruneCandidates( CandidateList & candidates, CandidateList & out, std::vector<std::string> & errors );
 
         /// Runs new candidate finder on each element in xs, returning the list of finders

src/ResolvExpr/ResolvMode.h

@@ -22 +22 @@
                 const bool prune;            ///< Prune alternatives to min-cost per return type? [true]
                 const bool failFast;         ///< Fail on no resulting alternatives? [true]
+                const bool satisfyAssns;     ///< Satisfy assertions? [false]
 
         private:
-                constexpr ResolvMode(bool a, bool p, bool ff) 
-                : adjust(a), prune(p), failFast(ff) {}
+                constexpr ResolvMode(bool a, bool p, bool ff, bool sa) 
+                : adjust(a), prune(p), failFast(ff), satisfyAssns(sa) {}
 
         public:
                 /// Default settings
-                constexpr ResolvMode() : adjust(false), prune(true), failFast(true) {}
+                constexpr ResolvMode() : adjust(false), prune(true), failFast(true), satisfyAssns(false) {}
                 
                 /// With adjust flag set; turns array and function types into equivalent pointers
-                static constexpr ResolvMode withAdjustment() { return { true, true, true }; }
+                static constexpr ResolvMode withAdjustment() { return { true, true, true, false }; }
 
                 /// With adjust flag set but prune unset; pruning ensures there is at least one alternative 
                 /// per result type
-                static constexpr ResolvMode withoutPrune() { return { true, false, true }; }
+                static constexpr ResolvMode withoutPrune() { return { true, false, true, false }; }
 
                 /// With adjust and prune flags set but failFast unset; failFast ensures there is at least 
                 /// one resulting alternative
-                static constexpr ResolvMode withoutFailFast() { return { true, true, false }; }
+                static constexpr ResolvMode withoutFailFast() { return { true, true, false, false }; }
 
                 /// The same mode, but with satisfyAssns turned on; for top-level calls
-                ResolvMode atTopLevel() const { return { adjust, true, failFast }; }
+                ResolvMode atTopLevel() const { return { adjust, prune, failFast, true }; }
         };
 } // namespace ResolvExpr

src/ResolvExpr/SatisfyAssertions.hpp

@@ -27 +27 @@
 namespace ResolvExpr {
 
-/// Recursively satisfies all assertions provided in a candidate
-/// returns true if it has been run (candidate has any assertions)
+/// Recursively satisfies all assertions provided in a candidate; returns true if succeeds
 void satisfyAssertions(
         CandidateRef & cand, const ast::SymbolTable & symtab, CandidateList & out,