Update compiler/src/language_server/sourcetree.re

grain-lang · Sep 12, 2023 · 7570228 · 7570228
1 parent 9a6d312
commit 7570228
Showing 1 changed file with 1 addition and 4 deletions.
diff --git a/compiler/src/language_server/sourcetree.re b/compiler/src/language_server/sourcetree.re
@@ -442,10 +442,7 @@ module Sourcetree: Sourcetree = {
             | Some(path) =>
               let decl = Env.find_type(path, pat.pat_env);
               if (decl.type_loc == Location.dummy_loc) {
-                switch (pat.pat_desc) {
-                | TPatConstruct(_, desc, _) => Some(desc.cstr_loc)
-                | _ => None
-                };
+                None;
               } else {
                 Some(decl.type_loc);
               };