Unused

Author: ajreynol

src/attr.cpp

@@ -19,7 +19,6 @@ std::ostream& operator<<(std::ostream& o, Attr a)
     case Attr::TYPE: o << "type"; break;
     case Attr::SORRY: o << "sorry"; break;
     case Attr::LIST: o << "list"; break;
-    case Attr::REQUIRES: o << "requires"; break;
     case Attr::PROOF_RULE: o << "proof_rule"; break;
     case Attr::PROGRAM: o << "program"; break;
     case Attr::BINDER: o << "binder"; break;

src/attr.h

@@ -21,7 +21,6 @@ enum class Attr
   NONE = 0,
 
   IMPLICIT,
-  REQUIRES,
   TYPE,
   // properties of rules
   SORRY,

src/cmd_parser.cpp

@@ -220,13 +220,6 @@ bool CmdParser::parseNextCommand()
           itp = pattrMap.find(p.getValue());
           if (itp != pattrMap.end())
           {
-            itpa = itp->second.find(Attr::REQUIRES);
-            if (itpa != itp->second.end())
-            {
-              // requires adds to return type
-              t = d_state.mkRequires(itpa->second, t);
-              itp->second.erase(itpa);
-            }
             itpa = itp->second.find(Attr::OPAQUE);
             if (itpa != itp->second.end())
             {

src/expr_parser.cpp

@@ -66,7 +66,6 @@ ExprParser::ExprParser(Lexer& lex, State& state, bool isSignature)
   d_strToAttr[":implicit"] = Attr::IMPLICIT;
   d_strToAttr[":type"] = Attr::TYPE;
   d_strToAttr[":list"] = Attr::LIST;
-  d_strToAttr[":requires"] = Attr::REQUIRES;
   d_strToAttr[":left-assoc"] = Attr::LEFT_ASSOC;
   d_strToAttr[":right-assoc"] = Attr::RIGHT_ASSOC;
   d_strToAttr[":left-assoc-nil"] = Attr::LEFT_ASSOC_NIL;