From ac6e98361e386e78ea4aa46ef2e9213f37a1357d Mon Sep 17 00:00:00 2001
From: Richard Feldman <oss@rtfeldman.com>
Date: Sun, 26 Apr 2020 09:33:08 -0400
Subject: [PATCH] Drop obsolete List.get hardcoded type

---
 compiler/builtins/src/std.rs | 15 +--------------
 1 file changed, 1 insertion(+), 14 deletions(-)

diff --git a/compiler/builtins/src/std.rs b/compiler/builtins/src/std.rs
index a4824de997..271f0e0085 100644
--- a/compiler/builtins/src/std.rs
+++ b/compiler/builtins/src/std.rs
@@ -372,21 +372,8 @@ pub fn types() -> MutMap<Symbol, (SolvedType, Region)> {
     // List module
 
     // get : List elem, Int -> Result elem [ IndexOutOfBounds ]*
-    let index_out_of_bounds = SolvedType::TagUnion(
-        vec![(TagName::Global("IndexOutOfBounds".into()), vec![])],
-        Box::new(SolvedType::Wildcard),
-    );
-
     add_type(
-        Symbol::LIST_GET,
-        SolvedType::Func(
-            vec![list_type(flex(TVAR1)), int_type()],
-            Box::new(result_type(flex(TVAR1), index_out_of_bounds)),
-        ),
-    );
-
-    add_type(
-        Symbol::LIST_GET_UNSAFE, // TODO remove this once we can code gen Result
+        Symbol::LIST_GET_UNSAFE,
         SolvedType::Func(
             vec![list_type(flex(TVAR1)), int_type()],
             Box::new(flex(TVAR1)),