aboutsummaryrefslogtreecommitdiff
path: root/backend/backendconvert.icl
diff options
context:
space:
mode:
authorjohnvg2003-12-11 15:18:52 +0000
committerjohnvg2003-12-11 15:18:52 +0000
commit0468f6b8191867d014a3aaab4264569b78f0bd42 (patch)
tree374cc09c35800ce42e3ee31206b0e33f5e98af68 /backend/backendconvert.icl
parentremove BackendBody (diff)
move FunctionPattern type from syntax to backendconvert
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1428 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'backend/backendconvert.icl')
-rw-r--r--backend/backendconvert.icl6
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