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.icl | |
| 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.icl')
| -rw-r--r-- | frontend/utilities.icl | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/frontend/utilities.icl b/frontend/utilities.icl index 6b5f09c..3ceb48b 100644 --- a/frontend/utilities.icl +++ b/frontend/utilities.icl @@ -266,6 +266,15 @@ 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] optCons No l = (l, 0) |