diff options
| author | aarne <unknown> | 2003-10-09 15:23:32 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2003-10-09 15:23:32 +0000 |
| commit | 2ee936c7e23bd690b05b8362179911a2d176f150 (patch) | |
| tree | 00e54d208f21b4f0278aab96ae551ecd6cae4abc /src/GF/Canon/SkelGFC.hs | |
| parent | ddd103ccd7422c35b5af0bcb5bad5edd49b080bb (diff) | |
Added treatment of transfer modules. Aggregation is an example.
Diffstat (limited to 'src/GF/Canon/SkelGFC.hs')
| -rw-r--r-- | src/GF/Canon/SkelGFC.hs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/GF/Canon/SkelGFC.hs b/src/GF/Canon/SkelGFC.hs index 955cc442f..2b4323356 100644 --- a/src/GF/Canon/SkelGFC.hs +++ b/src/GF/Canon/SkelGFC.hs @@ -29,6 +29,7 @@ transModType x = case x of MTAbs id -> failure x MTCnc id0 id -> failure x MTRes id -> failure x + MTTrans id0 id1 id -> failure x transExtend :: Extend -> Result @@ -52,6 +53,7 @@ transDef :: Def -> Result transDef x = case x of AbsDCat id decls cidents -> failure x AbsDFun id exp0 exp -> failure x + AbsDTrans id exp -> failure x ResDPar id pardefs -> failure x ResDOper id ctype term -> failure x CncDCat id ctype term0 term -> failure x |