3fc435f · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

Turn on some LANGUAGE pragmas to make stylish-haskell happy.

commit3fc435f59160e9b84fe5bb0c83d45426bd867054 authorEcho Nolan <echo@echonolan.net> dateMon 3 Oct 2016, 20:38 (10 years ago) parent5a2f5a4

4 files changed+4−1

compare with master

unifiedsplit

HLint.hs+1 src/Idris/ASTUtils.hs+1 src/Idris/Core/Constraints.hs+1 src/Idris/Core/TT.hs+1−1

HLint.hs+1

@@ -1,3 +1,4 @@

1+{-# LANGUAGE TemplateHaskell #-}

12-- --------------------------------------------------------------- [ HLint.hs ]

23-- HLint suggestions we like.

34--

src/Idris/ASTUtils.hs+1

@@ -1,3 +1,4 @@

1+{-# LANGUAGE MultiParamTypeClasses #-}

12{-|

23Module : Idris.ASTUtils

34Description : This implements just a few basic lens-like concepts to ease state updates. Similar to fclabels in approach, just without the extra dependency.

src/Idris/Core/Constraints.hs+1

@@ -1,3 +1,4 @@

1+{-# LANGUAGE FlexibleContexts, MultiParamTypeClasses #-}

12{-|

23Module : Idris.Core.Constraints

34Description : Check universe constraints.

src/Idris/Core/TT.hs+1−1

@@ -22,7 +22,7 @@ TT is the core language of Idris. The language has:

2222 * We have a simple collection of tactics which we use to elaborate source

2323 programs with implicit syntax into fully explicit terms.

2424-}

25−{-# LANGUAGE DeriveDataTypeable, DeriveFunctor, DeriveGeneric,

25+{-# LANGUAGE DeriveDataTypeable, DeriveFunctor, DeriveGeneric, FlexibleContexts,

2626 FunctionalDependencies, MultiParamTypeClasses, PatternGuards #-}

2727{-# OPTIONS_GHC -fwarn-incomplete-patterns #-}

2828module Idris.Core.TT(