diff options
Diffstat (limited to 'backend/backendconvert.icl')
| -rw-r--r-- | backend/backendconvert.icl | 6 |
1 files changed, 6 insertions, 0 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 |