19 Jun
2006
19 Jun
'06
12:06 p.m.
>> "SIGOURE" == SIGOURE Benoit
<sigoure.benoit(a)lrde.epita.fr> writes:
Something is rotten in your kingdom. You should factor simultaneously.
@@ -69,8 +24,7 @@
IntDecNoInit(aa@ArrayAccess(aa_idf, _), low, up)
-> int-decl-no-init-list
where <fetch-idf> aa_idf => idf
- ; <desugar-array-access-for-decl> aa
- ; desugar-array-access
+ ; <desugar-array-access> aa
; desugared-array-access-list-to-identifier-list(|idf)
; map({var-name:
?var-name
@@ -83,8 +37,7 @@
IntDec(aa@ArrayAccess(aa_idf, _), low, up, value)
-> int-decl-list
where <fetch-idf> aa_idf => idf
- ; <desugar-array-access-for-decl> aa
- ; desugar-array-access
+ ; <desugar-array-access> aa
; desugared-array-access-list-to-identifier-list(|idf)
; map({var-name:
?var-name
@@ -99,8 +52,7 @@
BoolDecNoInit(aa@ArrayAccess(aa_idf, _))
-> bool-decl-no-init-list
where <fetch-idf> aa_idf => idf
- ; <desugar-array-access-for-decl> aa
- ; desugar-array-access
+ ; <desugar-array-access> aa
; desugared-array-access-list-to-identifier-list(|idf)
; map({var-name:
?var-name
@@ -113,8 +65,7 @@
BoolDec(aa@ArrayAccess(aa_idf, _), value)
-> bool-decl-list
where <fetch-idf> aa_idf => idf
- ; <desugar-array-access-for-decl> aa
- ; desugar-array-access
+ ; <desugar-array-access> aa
; desugared-array-access-list-to-identifier-list(|idf)
; map({var-name:
?var-name
@@ -133,8 +84,7 @@
ConstInt(aa@ArrayAccess(aa_idf, _), value)
-> const-int-decl-list
where <fetch-idf> aa_idf => idf
- ; <desugar-array-access-for-decl> aa
- ; desugar-array-access
+ ; <desugar-array-access> aa
; desugared-array-access-list-to-identifier-list(|idf)
; map({var-name:
?var-name
@@ -147,8 +97,7 @@
ConstIntNoInit(aa@ArrayAccess(aa_idf, _))
-> const-int-decl-no-init-list
where <fetch-idf> aa_idf => idf
- ; <desugar-array-access-for-decl> aa
- ; desugar-array-access
+ ; <desugar-array-access> aa
; desugared-array-access-list-to-identifier-list(|idf)
; map({var-name:
?var-name
@@ -163,8 +112,7 @@
ConstDouble(aa@ArrayAccess(aa_idf, _), value)
-> const-double-decl-list
where <fetch-idf> aa_idf => idf
- ; <desugar-array-access-for-decl> aa
- ; desugar-array-access
+ ; <desugar-array-access> aa
; desugared-array-access-list-to-identifier-list(|idf)
; map({var-name:
?var-name
@@ -177,8 +125,7 @@
ConstDoubleNoInit(aa@ArrayAccess(aa_idf, _))
->
const-double-decl-no-init-list
where <fetch-idf> aa_idf => idf
- ; <desugar-array-access-for-decl> aa
- ; desugar-array-access
+ ; <desugar-array-access> aa
; desugared-array-access-list-to-identifier-list(|idf)
; map({var-name:
?var-name
@@ -193,8 +140,7 @@
ConstBool(aa@ArrayAccess(aa_idf, _), value)
-> const-bool-decl-list
where <fetch-idf> aa_idf => idf
- ; <desugar-array-access-for-decl> aa
- ; desugar-array-access
+ ; <desugar-array-access> aa
; desugared-array-access-list-to-identifier-list(|idf)
; map({var-name:
?var-name
@@ -207,8 +153,7 @@
ConstBoolNoInit(aa@ArrayAccess(aa_idf, _))
->
const-bool-decl-no-init-list
where <fetch-idf> aa_idf => idf
- ; <desugar-array-access-for-decl> aa
- ; desugar-array-access
+ ; <desugar-array-access> aa
; desugared-array-access-list-to-identifier-list(|idf)
; map({var-name: