Simplify interpret.

seagreen · Nov 2, 2019 · 9728c3a · 9728c3a
1 parent 65a1f2d
commit 9728c3a
Showing 1 changed file with 7 additions and 18 deletions.
diff --git a/bowtie/src/Bowtie/Interpret.hs b/bowtie/src/Bowtie/Interpret.hs
@@ -19,20 +19,15 @@ import qualified Data.Bifunctor as Bifunctor
 import qualified Data.Text as Text
 import qualified Text.Megaparsec as Mega
 
+data IError
+  = ParseError ParserErrorBundle
+  | NameClash Text
+  | TypeError TypeError
+  deriving (Eq, Show)
+
 interpret :: Text -> Either IError Untyped.Expr
 interpret src = do
-  (_, core) <- sourceToCore src
-  let
-    untyped :: Untyped.Expr
-    untyped =
-      Untyped.Erase.erase core
-
-  case Untyped.Eval.eval mempty untyped of
-    Left e ->
-      panic ("Evaluating failed (this should never happen): " <> show e)
-
-    Right a ->
-      pure a
+  interpretProgram mempty ("<input>", src)
 
 interpretProgram
   :: HashMap FilePath Text
@@ -52,12 +47,6 @@ interpretProgram libFiles appFile = do
     Right a ->
       pure a
 
-data IError
-  = ParseError ParserErrorBundle
-  | NameClash Text
-  | TypeError TypeError
-  deriving (Eq, Show)
-
 prettyError :: IError -> Text
 prettyError err =
   case err of