diff options
-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 |