diff options
| author | sjakie | 2000-06-15 08:06:00 +0000 |
|---|---|---|
| committer | sjakie | 2000-06-15 08:06:00 +0000 |
| commit | bf4ed6c87505bffd5fdacf1ceeb474bffcf674d0 (patch) | |
| tree | d5dfda248c7116df9c1052f3e7898569b0c4575a /frontend/overloading.dcl | |
| parent | correcting tiny change of previous revision (diff) | |
update of dictionary types
Peter's bug removed
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@164 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/overloading.dcl')
| -rw-r--r-- | frontend/overloading.dcl | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/frontend/overloading.dcl b/frontend/overloading.dcl index e74304f..509dd8f 100644 --- a/frontend/overloading.dcl +++ b/frontend/overloading.dcl @@ -34,9 +34,10 @@ import syntax, check, typesupport } :: LocalTypePatternVariable +:: DictionaryTypes :== [(Index, [ExprInfoPtr])] tryToSolveOverloading :: ![(Optional [TypeContext], [ExprInfoPtr], IdentPos, Index)] !{# CommonDefs } !ClassInstanceInfo !*Coercions !*OverloadingState - -> (![TypeContext], !*Coercions, ![LocalTypePatternVariable], !*OverloadingState) + -> (![TypeContext], !*Coercions, ![LocalTypePatternVariable], DictionaryTypes, !*OverloadingState) :: TypeCodeInfo = { tci_next_index :: !Index |