diff options
| author | johnvg | 2013-04-02 15:26:26 +0000 |
|---|---|---|
| committer | johnvg | 2013-04-02 15:26:26 +0000 |
| commit | d4e397a35be100674c23b2c863210136d5b5d35c (patch) | |
| tree | e314addf40d5e1b8ea31701a80dc2435d7ac2b90 /frontend/partition.icl | |
| parent | in function adjust_type_code, add alternative for TCE_Selector, (diff) | |
add type constraints in constructors and function arguments with universal quantifier (from iTask branch)
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2218 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/partition.icl')
| -rw-r--r-- | frontend/partition.icl | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/frontend/partition.icl b/frontend/partition.icl index 74bada3..56701d4 100644 --- a/frontend/partition.icl +++ b/frontend/partition.icl @@ -437,6 +437,8 @@ where = fc_state find_calls fc_info (FailExpr _) fc_state = fc_state + find_calls fc_info (DictionariesFunction dictionaries expr expr_type) fc_state + = find_calls fc_info expr fc_state instance find_calls App where |