Commit 58cece82 authored by John van Groningen's avatar John van Groningen
Browse files

add strict dot dot expressions

parent 3ceb9c0b
......@@ -214,13 +214,40 @@ PD_CGenTypeVar :== 230
PD_CGenTypeArrow :== 231
PD_CGenTypeApp :== 232
PD_GenericBimap :== 233
PD_bimapId :== 234
PD_TypeGenericDict :== 235
PD_NrOfPredefSymbols :== 236
PD_FromS :== 236
PD_FromTS :== 237
PD_FromSTS :== 238
PD_FromU :== 239
PD_FromUTS :== 240
PD_FromO :== 241
PD_FromThenS :== 242
PD_FromThenTS :== 243
PD_FromThenSTS :== 244
PD_FromThenU :== 245
PD_FromThenUTS :== 246
PD_FromThenO :== 247
PD_FromToS :== 248
PD_FromToTS :== 249
PD_FromToSTS :== 250
PD_FromToU :== 251
PD_FromToUTS :== 252
PD_FromToO :== 253
PD_FromThenToS :== 254
PD_FromThenToTS :== 255
PD_FromThenToSTS :== 256
PD_FromThenToU :== 257
PD_FromThenToUTS :== 258
PD_FromThenToO :== 259
PD_NrOfPredefSymbols :== 260
GetTupleConsIndex tup_arity :== PD_Arity2TupleSymbol + tup_arity - 2
GetTupleTypeIndex tup_arity :== PD_Arity2TupleType + tup_arity - 2
......
......@@ -182,7 +182,37 @@ predefined_idents
[PD_abort] = i "abort",
[PD_undef] = i "undef",
[PD_Start] = i "Start"
[PD_Start] = i "Start",
[PD_FromS]= i "_from_s",
[PD_FromTS]= i "_from_ts",
[PD_FromSTS]= i "_from_sts",
[PD_FromU]= i "_from_u",
[PD_FromUTS]= i "_from_uts",
[PD_FromO]= i "_from_o",
[PD_FromThenS]= i "_from_then_s",
[PD_FromThenTS]= i "_from_then_ts",
[PD_FromThenSTS]= i "_from_then_sts",
[PD_FromThenU]= i "_from_then_u",
[PD_FromThenUTS]= i "_from_then_uts",
[PD_FromThenO]= i "_from_then_o",
[PD_FromToS]= i "_from_to_s",
[PD_FromToTS]= i "_from_to_ts",
[PD_FromToSTS]= i "_from_to_sts",
[PD_FromToU]= i "_from_to_u",
[PD_FromToUTS]= i "_from_to_uts",
[PD_FromToO]= i "_from_to_o",
[PD_FromThenToS]= i "_from_then_to_s",
[PD_FromThenToTS]= i "_from_then_to_ts",
[PD_FromThenToSTS]= i "_from_then_to_sts",
[PD_FromThenToU]= i "_from_then_to_u",
[PD_FromThenToUTS]= i "_from_then_to_uts",
[PD_FromThenToO]= i "_from_then_to_o"
}
=: idents
where
......@@ -380,6 +410,34 @@ where
<<- (local_predefined_idents, IC_Expression, PD_Start)
<<- (local_predefined_idents, IC_Expression, PD_FromS)
<<- (local_predefined_idents, IC_Expression, PD_FromTS)
<<- (local_predefined_idents, IC_Expression, PD_FromSTS)
<<- (local_predefined_idents, IC_Expression, PD_FromU)
<<- (local_predefined_idents, IC_Expression, PD_FromUTS)
<<- (local_predefined_idents, IC_Expression, PD_FromO)
<<- (local_predefined_idents, IC_Expression, PD_FromThenS)
<<- (local_predefined_idents, IC_Expression, PD_FromThenTS)
<<- (local_predefined_idents, IC_Expression, PD_FromThenSTS)
<<- (local_predefined_idents, IC_Expression, PD_FromThenU)
<<- (local_predefined_idents, IC_Expression, PD_FromThenUTS)
<<- (local_predefined_idents, IC_Expression, PD_FromThenO)
<<- (local_predefined_idents, IC_Expression, PD_FromToS)
<<- (local_predefined_idents, IC_Expression, PD_FromToTS)
<<- (local_predefined_idents, IC_Expression, PD_FromToSTS)
<<- (local_predefined_idents, IC_Expression, PD_FromToU)
<<- (local_predefined_idents, IC_Expression, PD_FromToUTS)
<<- (local_predefined_idents, IC_Expression, PD_FromToO)
<<- (local_predefined_idents, IC_Expression, PD_FromThenToS)
<<- (local_predefined_idents, IC_Expression, PD_FromThenToTS)
<<- (local_predefined_idents, IC_Expression, PD_FromThenToSTS)
<<- (local_predefined_idents, IC_Expression, PD_FromThenToU)
<<- (local_predefined_idents, IC_Expression, PD_FromThenToUTS)
<<- (local_predefined_idents, IC_Expression, PD_FromThenToO)
# bimap_type = local_predefined_idents.[PD_TypeBimap]
# hash_table = hash_table
<<- (local_predefined_idents, IC_Field bimap_type, PD_map_to)
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment