diff options
| author | johnvg | 2008-01-03 11:00:40 +0000 |
|---|---|---|
| committer | johnvg | 2008-01-03 11:00:40 +0000 |
| commit | 00a4a91911442512e4b752c9b6c28962974162c7 (patch) | |
| tree | 0bf706f9de40b49748f2c271111f41d44f80cbc8 /frontend/containers.dcl | |
| parent | make function has_observing_type faster (diff) | |
move function remove_first_n from backendinterface to containers
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1696 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/containers.dcl')
| -rw-r--r-- | frontend/containers.dcl | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/frontend/containers.dcl b/frontend/containers.dcl index de787d6..f0da996 100644 --- a/frontend/containers.dcl +++ b/frontend/containers.dcl @@ -37,6 +37,7 @@ add_next_strict :: !Int !Int !StrictnessList -> (!Int,!Int,!StrictnessList) add_next_not_strict :: !Int !Int !StrictnessList -> (!Int,!Int,!StrictnessList) append_strictness :: !Int !StrictnessList -> StrictnessList first_n_are_strict :: !Int !StrictnessList -> Bool +remove_first_n :: !Int !StrictnessList -> StrictnessList :: IntKey :== Int |