aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--frontend/type.icl2
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