diff options
Diffstat (limited to 'backend')
| -rw-r--r-- | backend/backendconvert.icl | 6 | ||||
| -rw-r--r-- | backend/backendpreprocess.icl | 11 |
2 files changed, 6 insertions, 11 deletions
diff --git a/backend/backendconvert.icl b/backend/backendconvert.icl index f3efdd6..3e1e22c 100644 --- a/backend/backendconvert.icl +++ b/backend/backendconvert.icl @@ -29,6 +29,12 @@ sfoldr op r l s foldr [] = r foldr [a:x] = op a (foldr x) +:: FunctionPattern = FP_Basic !BasicValue !(Optional FreeVar) + | FP_Algebraic !(Global DefinedSymbol) ![FunctionPattern] !(Optional FreeVar) + | FP_Variable !FreeVar + | FP_Dynamic ![VarInfoPtr] !FreeVar !TypeCodeExpression !(Optional FreeVar) + | FP_Empty + :: BEMonad a :== *BackEndState -> *(!a,!*BackEndState) :: BackEnder :== *BackEndState -> *BackEndState diff --git a/backend/backendpreprocess.icl b/backend/backendpreprocess.icl index 47274b1..85aba8c 100644 --- a/backend/backendpreprocess.icl +++ b/backend/backendpreprocess.icl @@ -175,17 +175,6 @@ instance sequence LetBind where sequence bind = sequence bind.lb_dst -instance sequence FunctionPattern where - sequence (FP_Algebraic _ subpatterns optionalVar) - = sequence subpatterns - o` sequence optionalVar - sequence (FP_Variable freeVar) - = sequence freeVar - sequence (FP_Basic _ optionalVar) - = sequence optionalVar - sequence FP_Empty - = identity - instance sequence (Ptr VarInfo) where sequence varInfoPtr = assignSequenceNumber varInfoPtr |