diff options
| author | johnvg | 2012-08-02 11:08:38 +0000 |
|---|---|---|
| committer | johnvg | 2012-08-02 11:08:38 +0000 |
| commit | 6fefdc2bdbf518c1c22f6a130bb803abe9f174d7 (patch) | |
| tree | 2d495b0532246eab6870886d84f03907531f8bae /frontend/comparedefimp.icl | |
| parent | optimize is constructor functions (diff) | |
add pattern match test using =: in expressions,
add constructors PE_Matches and IsConstructor in module syntax
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2130 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/comparedefimp.icl')
| -rw-r--r-- | frontend/comparedefimp.icl | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/frontend/comparedefimp.icl b/frontend/comparedefimp.icl index d91decb..3b82ebb 100644 --- a/frontend/comparedefimp.icl +++ b/frontend/comparedefimp.icl @@ -1126,6 +1126,10 @@ instance e_corresponds Expression where (MatchExpr icl_cons_symbol icl_src_expr) = e_corresponds dcl_cons_symbol icl_cons_symbol o` e_corresponds dcl_src_expr icl_src_expr + e_corresponds (IsConstructor dcl_src_expr dcl_cons_symbol _ _ _ _) + (IsConstructor icl_src_expr icl_cons_symbol _ _ _ _) + = e_corresponds dcl_cons_symbol icl_cons_symbol + o` e_corresponds dcl_src_expr icl_src_expr e_corresponds (FreeVar dcl) (FreeVar icl) = e_corresponds dcl icl e_corresponds (DynamicExpr dcl) (DynamicExpr icl) |