+1 -2

grace/Main.hs

reviewed

··· 1 1 - module Main 2 2 - where 1 1 + module Main where 3 2 4 3 import qualified Grace 5 4

+1 -2

src/Grace/Infer.hs

reviewed

··· 29 29 , TypeInferenceError(..) 30 30 ) where 31 31 32 32 - import Data.Text (Text) 33 33 - 34 32 import Control.Applicative ((<|>)) 35 33 import Control.Exception.Safe (Exception(..)) 36 34 import Control.Monad (when) ··· 39 37 import Data.Foldable (traverse_) 40 38 import Data.Sequence (ViewL(..)) 41 39 import Data.String.Interpolate (__i) 40 40 + import Data.Text (Text) 42 41 import Data.Void (Void, absurd) 43 42 import Grace.Context (Context, Entry) 44 43 import Grace.Existential (Existential)

+1 -2

tasty/Main.hs

reviewed

··· 2 2 {-# LANGUAGE NamedFieldPuns #-} 3 3 {-# LANGUAGE OverloadedStrings #-} 4 4 5 5 - module Main 6 6 - where 5 5 + module Main where 7 6 8 7 import Control.Exception.Safe (Exception) 9 8 import Data.Text (Text)