diff options
author | martinw | 2001-04-27 09:48:47 +0000 |
---|---|---|
committer | martinw | 2001-04-27 09:48:47 +0000 |
commit | f4dcb389fd6a760c2b5c1d772b93120c87b54869 (patch) | |
tree | df4daf7dcadb0ee4c11b648f9412d8b9d3bce0ad /frontend/utilities.dcl | |
parent | bugfix: the derived type for (diff) |
added handy new macro for searching lists
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@373 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/utilities.dcl')
-rw-r--r-- | frontend/utilities.dcl | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/frontend/utilities.dcl b/frontend/utilities.dcl index 9d92475..232330c 100644 --- a/frontend/utilities.dcl +++ b/frontend/utilities.dcl @@ -180,6 +180,17 @@ foldrArraySt f a st # (ai, a) = a![i] = foldr_a_st (i-1) a (f ai st) + +firstIndex p l :== first_index l 0 + where + first_index [] i + = (i-i)-1 + first_index [h:t] i + | p h + = i + = first_index t (i+1) + + optCons :: !(Optional .a) !u:[.a] -> (!v:[.a], !Int) ,[u <= v] revAppend :: ![a] ![a] -> [a] // Reverse the list using the second argument as accumulator. |