picnoir/hnix
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity

repl: drop GHC pragams disabling warnings, prune imports

Browse source
This commit is contained in:
Richard Marko 2020-07-03 17:02:51 +02:00
parent 0cf6be6be2
commit c9eb24626a
1 changed files with 5 additions and 12 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

17
main/Repl.hs
View file

@ -18,9 +18,6 @@
{-# LANGUAGE TypeApplications #-} {-# LANGUAGE TypeApplications #-}
{-# LANGUAGE TypeSynonymInstances #-} {-# LANGUAGE TypeSynonymInstances #-}
{-# OPTIONS_GHC -Wno-unused-matches #-}
{-# OPTIONS_GHC -Wno-unused-imports #-}
module Repl module Repl
( main ( main
, main' , main'
@ -29,16 +26,10 @@ module Repl
import Nix hiding ( exec import Nix hiding ( exec
, try , try
) )
import Nix.Cited
import Nix.Convert
import Nix.Eval
import Nix.Scope import Nix.Scope
import qualified Nix.Type.Env as Env
import Nix.Type.Infer
import Nix.Utils import Nix.Utils
import Nix.Value.Monad (demand) import Nix.Value.Monad (demand)
import Control.Comonad
import qualified Data.List import qualified Data.List
import qualified Data.Maybe import qualified Data.Maybe
import qualified Data.HashMap.Lazy import qualified Data.HashMap.Lazy
@ -67,7 +58,6 @@ import System.Console.Repline ( Cmd
, CompleterStyle (Prefix) , CompleterStyle (Prefix)
, ExitDecision(Exit) , ExitDecision(Exit)
, HaskelineT , HaskelineT
, WordCompleter
) )
import qualified System.Console.Repline import qualified System.Console.Repline
import qualified System.Exit import qualified System.Exit
@ -208,8 +198,11 @@ exec update source = do
-- Type Inference ( returns Typing Environment ) -- Type Inference ( returns Typing Environment )
-- --
--let tyctx' = inferTop Env.empty [("repl", stripAnnotation expr)] -- import qualified Nix.Type.Env as Env
--liftIO $ print tyctx' -- import Nix.Type.Infer
--
-- let tyctx' = inferTop Env.empty [("repl", stripAnnotation expr)]
-- liftIO $ print tyctx'
mVal <- lift $ lift $ try $ pushScope (replCtx st) (evalExprLoc expr) mVal <- lift $ lift $ try $ pushScope (replCtx st) (evalExprLoc expr)