diff options
| author | martinw | 2000-08-18 13:24:34 +0000 |
|---|---|---|
| committer | martinw | 2000-08-18 13:24:34 +0000 |
| commit | cfa1d5d9fd00334457b1c3733f8eb789628afdc8 (patch) | |
| tree | e8a9b132fff469fda176c9d39d08056d65655c72 | |
| parent | dynamic type bug fixed; changes to support theorem prover (diff) | |
*** empty log message ***
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@207 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
| -rw-r--r-- | frontend/type.icl | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/frontend/type.icl b/frontend/type.icl index 26fe710..ea336fd 100644 --- a/frontend/type.icl +++ b/frontend/type.icl @@ -215,6 +215,8 @@ tryToOptimizePosition (App {app_symb={symb_name}}) ip = tryToOptimizePositionFromString symb_name.id_name ip tryToOptimizePosition (fun @ _) ip = tryToOptimizePosition fun ip +tryToOptimizePosition _ _ + = No tryToOptimizePositionFromString id_name ip # fst_semicolon_index = searchlArrElt ((==) ';') id_name 0 |