a0de8cb · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

stylised HS

commita0de8cb74389b3c1f8e9e555afe66e1aef2a6aca authormandubian <pascal@projectseptember.com> dateSun 23 Jul 2017, 10:55 (9 years ago) parent416251f

3 files changed+5−5

unifiedsplit

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

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

1818in order to allow for better optimisation opportunities.

1919

2020-}

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

22− #-}

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

22+ TypeSynonymInstances #-}

2323

2424module Idris.Core.CaseTree (

2525 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

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

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

272272 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)

274274 when (not isConstrained) . tclift

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

276276 return ()

277− where

277+ where

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

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

280280 checkConstrained i n args constraint =

src/Util/DynamicLinker.hs+1−1

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

1414

1515#ifdef IDRIS_FFI

1616import Foreign.LibFFI

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

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

1818import System.Directory

1919#ifndef mingw32_HOST_OS

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