33 #ifndef YY_YY_HEXPR_PARSE_H_INCLUDED 34 # define YY_YY_HEXPR_PARSE_H_INCLUDED 139 #if ! defined YYSTYPE && ! defined YYSTYPE_IS_DECLARED 169 typedef std::pair<hobbes::PatternPtr, hobbes::ExprPtr>
LetBinding;
200 #line 201 "hexpr.parse.H" 202 # define YYSTYPE_IS_TRIVIAL 1 203 # define YYSTYPE_IS_DECLARED 1 207 #if ! defined YYLTYPE && ! defined YYLTYPE_IS_DECLARED 216 # define YYLTYPE_IS_DECLARED 1 217 # define YYLTYPE_IS_TRIVIAL 1 int first_column
Definition: hexpr.parse.H:212
hobbes::QualType * qualtype
Definition: hexpr.parse.H:175
double doublev
Definition: hexpr.parse.H:190
Definition: hexpr.parse.H:124
std::pair< std::string, PatternPtr > Field
Definition: pattern.H:167
std::vector< GrammarRule > GrammarRules
Definition: grammar.H:80
Definition: hexpr.parse.H:98
Definition: hexpr.parse.H:123
hobbes::Expr * exp
Definition: hexpr.parse.H:156
Definition: hexpr.parse.H:134
hobbes::MVarTypeDefs * mvtydefs
Definition: hexpr.parse.H:150
hobbes::Module * module
Definition: hexpr.parse.H:145
Definition: hexpr.parse.H:109
Definition: hexpr.parse.H:90
hobbes::Record::Members * mreclist
Definition: hexpr.parse.H:180
Definition: hexpr.parse.H:57
hobbes::GrammarValue * pvalue
Definition: hexpr.parse.H:198
short shortv
Definition: hexpr.parse.H:186
hobbes::BoundGrammarValue * pbelem
Definition: hexpr.parse.H:197
std::vector< Member > Members
Definition: type.H:385
Definition: hexpr.parse.H:111
Definition: hexpr.parse.H:103
hobbes::MVarTypeDef * mvtydef
Definition: hexpr.parse.H:151
Definition: hexpr.parse.H:64
Definition: hexpr.parse.H:93
Definition: hexpr.parse.H:86
hobbes::Case::Bindings * vfields
Definition: hexpr.parse.H:159
hobbes::Case::Binding * vbind
Definition: hexpr.parse.H:160
Definition: hexpr.parse.H:75
Definition: hexpr.parse.H:129
Definition: hexpr.parse.H:119
Definition: hexpr.parse.H:116
Definition: hexpr.parse.H:132
std::vector< BoundGrammarValue > BoundGrammarValues
Definition: grammar.H:72
Definition: hexpr.parse.H:50
hobbes::GrammarRule * prdef
Definition: hexpr.parse.H:195
Definition: hexpr.parse.H:100
Definition: hexpr.parse.H:83
hobbes::MkRecord::FieldDefs * rfields
Definition: hexpr.parse.H:158
Definition: hexpr.parse.H:71
int last_column
Definition: hexpr.parse.H:214
int last_line
Definition: hexpr.parse.H:213
Definition: hexpr.parse.H:85
Definition: hexpr.parse.H:51
std::pair< hobbes::PatternPtr, hobbes::ExprPtr > LetBinding
Definition: hexpr.parse.H:169
hobbes::MatchRecord::Field * recpatfield
Definition: hexpr.parse.H:167
hobbes::PatternRow * patternexp
Definition: hexpr.parse.H:163
Definition: hexpr.parse.H:115
Definition: hexpr.parse.H:58
std::pair< str::seq, str::seq > CFunDepDef
Definition: module.H:107
Definition: hexpr.parse.H:96
hobbes::PatternRows * patternexps
Definition: hexpr.parse.H:162
hobbes::GrammarRules * prdefs
Definition: hexpr.parse.H:194
Definition: hexpr.parse.H:105
hobbes::ModuleDef * mdef
Definition: hexpr.parse.H:147
Definition: hexpr.parse.H:114
Definition: hexpr.parse.H:125
Definition: hexpr.parse.H:48
Definition: hexpr.parse.H:106
std::vector< ExprPtr > Exprs
Definition: expr.H:59
Definition: hexpr.parse.H:52
std::vector< GrammarSymDef > Grammar
Definition: grammar.H:83
std::vector< LetBinding > LetBindings
Definition: hexpr.parse.H:170
Definition: hexpr.parse.H:65
Definition: hexpr.parse.H:99
Definition: hexpr.parse.H:110
Definition: hexpr.parse.H:87
int intv
Definition: hexpr.parse.H:187
hobbes::str::seq * strings
Definition: hexpr.parse.H:154
std::string * string
Definition: hexpr.parse.H:183
hobbes::ModuleDefs * mdefs
Definition: hexpr.parse.H:146
Definition: hexpr.parse.H:121
Definition: hexpr.parse.H:76
Definition: hexpr.parse.H:97
const hobbes::MonoTypePtr * mtype
Definition: hexpr.parse.H:178
Definition: hexpr.parse.H:81
MonoType::ptr MonoTypePtr
Definition: type.H:71
Definition: hexpr.parse.H:88
hobbes::Exprs * exps
Definition: hexpr.parse.H:157
Definition: hexpr.parse.H:117
Definition: hexpr.parse.H:61
Definition: hexpr.parse.H:209
LetBinding * letbinding
Definition: hexpr.parse.H:172
std::vector< CFunDepDef > CFunDepDefs
Definition: module.H:108
Definition: hexpr.parse.H:112
Definition: hexpr.parse.H:62
Definition: hexpr.parse.H:107
Definition: hexpr.parse.H:49
Definition: hexpr.parse.H:66
Definition: hexpr.parse.H:120
Definition: hexpr.parse.H:60
Definition: hexpr.parse.H:89
Definition: hexpr.parse.H:118
Definition: hexpr.parse.H:73
Definition: hexpr.parse.H:131
yytokentype
Definition: hexpr.parse.H:46
Definition: hexpr.parse.H:53
Definition: hexpr.parse.H:79
int first_line
Definition: hexpr.parse.H:211
hobbes::Constraints * tconstraints
Definition: hexpr.parse.H:176
std::vector< ConstraintPtr > Constraints
Definition: type.H:35
hobbes::MVarDef * mvdef
Definition: hexpr.parse.H:153
Definition: hexpr.parse.H:127
Definition: hexpr.parse.H:84
Definition: hexpr.parse.H:59
Definition: hexpr.parse.H:95
hobbes::MonoTypes * mtypes
Definition: hexpr.parse.H:179
Definition: hexpr.parse.H:72
Definition: hexpr.parse.H:70
YYLTYPE yylloc
Definition: hexpr.parse.C:2402
Definition: hexpr.parse.H:67
YYSTYPE yylval
Definition: hexpr.parse.C:2396
Definition: hexpr.parse.H:74
float floatv
Definition: hexpr.parse.H:189
int yyparse(void)
Definition: hexpr.parse.C:2412
hobbes::CFunDepDef * fundep
Definition: hexpr.parse.H:148
Definition: hexpr.parse.H:91
Definition: hexpr.parse.H:80
Definition: hexpr.parse.H:56
Definition: hexpr.parse.H:78
Definition: hexpr.parse.H:94
std::vector< std::string > seq
Definition: str.H:19
std::vector< MVarTypeDefPtr > MVarTypeDefs
Definition: module.H:87
Definition: hexpr.parse.H:69
bool boolv
Definition: hexpr.parse.H:184
hobbes::Variant::Members * mvarlist
Definition: hexpr.parse.H:181
std::vector< FieldDef > FieldDefs
Definition: expr.H:461
Definition: hexpr.parse.H:141
std::vector< PatternPtr > Patterns
Definition: pattern.H:20
Definition: hexpr.parse.H:55
Definition: hexpr.parse.H:108
std::vector< Member > Members
Definition: type.H:435
Definition: hexpr.parse.H:133
std::vector< MVarDefPtr > MVarDefs
Definition: module.H:103
Definition: hexpr.parse.H:63
Definition: hexpr.parse.H:92
Definition: hexpr.parse.H:54
hobbes::CFunDepDefs * fundeps
Definition: hexpr.parse.H:149
std::vector< Field > Fields
Definition: pattern.H:168
Definition: hexpr.parse.H:130
hobbes::Grammar * prules
Definition: hexpr.parse.H:192
std::vector< MonoTypePtr > MonoTypes
Definition: type.H:72
hobbes::Pattern * pattern
Definition: hexpr.parse.H:165
char charv
Definition: hexpr.parse.H:185
hobbes::BoundGrammarValues * pbelems
Definition: hexpr.parse.H:196
Definition: hexpr.parse.H:68
hobbes::MVarDefs * mvdefs
Definition: hexpr.parse.H:152
Definition: hexpr.parse.H:128
LetBindings * letbindings
Definition: hexpr.parse.H:173
Definition: hexpr.parse.H:104
Definition: hexpr.parse.H:102
Definition: hexpr.parse.H:101
Definition: hexpr.parse.H:77
long longv
Definition: hexpr.parse.H:188
hobbes::Constraint * tconstraint
Definition: hexpr.parse.H:177
std::vector< PatternRow > PatternRows
Definition: pattern.H:31
Definition: hexpr.parse.H:82
Definition: hexpr.parse.H:122
hobbes::Grammar::value_type * prule
Definition: hexpr.parse.H:193
hobbes::MatchRecord::Fields * recpatfields
Definition: hexpr.parse.H:166
Definition: hexpr.parse.H:113
Definition: hexpr.parse.H:126
hobbes::Patterns * patterns
Definition: hexpr.parse.H:164
std::vector< Binding > Bindings
Definition: expr.H:517
std::vector< ModuleDefPtr > ModuleDefs
Definition: module.H:30