Ignore:
File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/AST/Decl.hpp

    ra00a2c1 r6a45bd78  
    127127        std::vector<ptr<DeclWithType>> params;
    128128        std::vector<ptr<DeclWithType>> returns;
    129         std::vector<ptr<TypeDecl>> type_params;
    130         std::vector<ptr<DeclWithType>> assertions;
    131129        // declared type, derived from parameter declarations
    132130        ptr<FunctionType> type;
    133131        ptr<CompoundStmt> stmts;
    134132        std::vector< ptr<Expr> > withExprs;
    135 
    136133
    137134        FunctionDecl( const CodeLocation & loc, const std::string & name, std::vector<ptr<TypeDecl>>&& forall,
Note: See TracChangeset for help on using the changeset viewer.