a0de8cb · Idris-dev · git.iko.soy

src/Idris/Core/CaseTree.hs+2−2

@@ -18,8 +18,8 @@ allows casing on arbitrary terms, here we choose to maintain the distinction

18in order to allow for better optimisation opportunities.

19

20-}

21−{-# LANGUAGE DeriveFunctor, DeriveGeneric, PatternGuards, TypeSynonymInstances

21+{-# LANGUAGE DeriveFunctor, DeriveGeneric, PatternGuards,

22− #-}

22+ TypeSynonymInstances #-}

23

24module Idris.Core.CaseTree (

25 CaseDef(..), SC, SC'(..), CaseAlt, CaseAlt'(..), ErasureInfo

src/Idris/Elab/Interface.hs+2−2

@@ -270,11 +270,11 @@ elabInterface info_in syn_in doc what fc constraints tn tnfc ps pDocs fds ds mcn

270 = do when (not $ null cs) . tclift

271 $ tfail (At fc (Msg "Default super interface implementations can't have constraints."))

272 i <- getIState

273− let isConstrained = any (checkConstrained i n (map pexp ps)) (map snd constraints)

273+ let isConstrained = any (checkConstrained i n (map pexp ps)) (map snd constraints)

274 when (not isConstrained) . tclift

275 $ tfail (At fc (Msg "Default implementations must be for a super interface constraint on the containing interface."))

276 return ()

277− where

277+ where

278 -- First, Check that interface "constraint" has same name & args as default implementation name & args (not checking FC)

279 -- If not the case, recursively lookup in context for parent interface & recheck the same with parent constraints

280 checkConstrained i n args constraint =

src/Util/DynamicLinker.hs+1−1

@@ -14,7 +14,7 @@ module Util.DynamicLinker ( ForeignFun(..)

14

15#ifdef IDRIS_FFI

16import Foreign.LibFFI

17−import Foreign.Ptr (FunPtr, Ptr(), castPtrToFunPtr, nullFunPtr, nullPtr)

17+import Foreign.Ptr (FunPtr, Ptr, castPtrToFunPtr, nullFunPtr, nullPtr)

18import System.Directory

19#ifndef mingw32_HOST_OS

20import Control.Exception (IOException, throwIO, try)