f261e8b · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

Merge pull request #4130 from msmorgan/sort-modules

Sort module lists in package files

commitf261e8b86224257564488680e0d42d519f4bf668 authorAhmad Salim Al-Sibahi <asal@itu.dk> dateWed 18 Oct 2017, 14:24 (9 years ago) parent7240c4e 9676201

5 files changed+138−112

compare with master

unifiedsplit

libs/base/base.ipkg+39−44 libs/contrib/contrib.ipkg+53−42 libs/effects/effects.ipkg+11−12 libs/prelude/prelude.ipkg+33−13 libs/pruviloj/pruviloj.ipkg+2−1

libs/base/base.ipkg+39−44

@@ -1,48 +1,43 @@

11package base

33opts = "--nobasepkgs --total --no-elim-deprecation-warnings --partial-eval -i ../prelude"

4−modules = System,

6− Debug.Error, Debug.Trace,

7−

8− System.Info,

9−

10− Language.Reflection.Utils,

11−

12− Syntax.PreorderReasoning,

13−

14− Data.Morphisms,

15− Data.Bits,

16− Data.Mod2,

17− Data.Fin,

18− Data.Vect,

19− Data.Vect.Views,

20− Data.Vect.Quantifiers,

21− Data.HVect,

22− Data.Complex,

23− Data.Erased,

24− Data.IORef,

25− Data.List,

26− Data.List.Views,

27− Data.List.Quantifiers,

28− Data.Nat.Views,

29− Data.Primitives.Views,

30− Data.String.Views,

31− Data.So,

32− Data.String,

33− Data.Buffer,

34−

35− Control.Isomorphism,

36− Control.Monad.Identity,

37− Control.Monad.RWS,

38− Control.Monad.Trans,

39− Control.Monad.State,

40− Control.Monad.Writer,

41− Control.Monad.Reader,

42− Control.Category,

43− Control.Arrow,

44− Control.Catchable,

45− Control.IOExcept,

46−

47− System.Concurrency.Raw,

48− System.Concurrency.Channels

5+modules = Control.Arrow

6+ , Control.Catchable

7+ , Control.Category

8+ , Control.IOExcept

9+ , Control.Isomorphism

10+ , Control.Monad.Identity

11+ , Control.Monad.Reader

12+ , Control.Monad.RWS

13+ , Control.Monad.State

14+ , Control.Monad.Trans

15+ , Control.Monad.Writer

16+ , Data.Bits

17+ , Data.Buffer

18+ , Data.Complex

19+ , Data.Erased

20+ , Data.Fin

21+ , Data.HVect

22+ , Data.IORef

23+ , Data.List

24+ , Data.List.Quantifiers

25+ , Data.List.Views

26+ , Data.Mod2

27+ , Data.Morphisms

28+ , Data.Nat.Views

29+ , Data.Primitives.Views

30+ , Data.So

31+ , Data.String

32+ , Data.String.Views

33+ , Data.Vect

34+ , Data.Vect.Quantifiers

35+ , Data.Vect.Views

36+ , Debug.Error

37+ , Debug.Trace

38+ , Language.Reflection.Utils

39+ , Syntax.PreorderReasoning

40+ , System

41+ , System.Concurrency.Channels

42+ , System.Concurrency.Raw

43+ , System.Info

libs/contrib/contrib.ipkg+53−42

@@ -1,46 +1,57 @@

11package contrib

33opts = "--nobasepkgs --partial-eval --total -i ../prelude -i ../base"

4−modules = CFFI, CFFI.Types, CFFI.Memory,

6− Control.Algebra,

7− Control.Algebra.Lattice, Control.Algebra.VectorSpace,

8− Control.Algebra.NumericImplementations,

9− Control.Isomorphism.Primitives,

10− Control.Partial,

11− Control.Pipeline,

12− Control.ST, Control.ST.ImplicitCall, Control.ST.Exception, Control.ST.Random,

13−

14− Interfaces.Correlative,

15− Interfaces.Verified,

16−

17− Data.Fun, Data.Rel,

18− Data.Hash,

19− Data.Matrix, Data.Matrix.Algebraic, Data.Matrix.Numeric,

20− Data.Nat.DivMod, Data.Nat.DivMod.IteratedSubtraction,

21− Data.ZZ, Data.Sign,

22− Data.BoundedList,

23− Data.Heap,

24− Data.SortedMap, Data.SortedSet,

25− Data.CoList, Data.Storable,

26− Data.List.Zipper,

27− Data.Pairs.Implicit,

28− Data.Combinators, Data.Combinators.Applicative, Data.Combinators.Arrow,

29−

30− Decidable.Decidable, Decidable.Order,

31−

32− Network.Cgi, Network.Socket.Data, Network.Socket.Raw, Network.Socket,

33−

34− System.Concurrency.Process,

35−

36− Text.Lexer, Text.Parser,

37−

38− Text.PrettyPrint.WL,

39− Text.PrettyPrint.WL.Core,

40− Text.PrettyPrint.WL.Characters,

41− Text.PrettyPrint.WL.Combinators,

42−

43− Text.Literate,

44−

45− Data.Fin.Extra,

46− Data.Stream.Extra

5+modules = CFFI

6+ , CFFI.Memory

7+ , CFFI.Types

8+ , Control.Algebra

9+ , Control.Algebra.Lattice

10+ , Control.Algebra.NumericImplementations

11+ , Control.Algebra.VectorSpace

12+ , Control.Isomorphism.Primitives

13+ , Control.Partial

14+ , Control.Pipeline

15+ , Control.ST

16+ , Control.ST.Exception

17+ , Control.ST.ImplicitCall

18+ , Control.ST.Random

19+ , Data.BoundedList

20+ , Data.CoList

21+ , Data.Combinators

22+ , Data.Combinators.Applicative

23+ , Data.Combinators.Arrow

24+ , Data.Fin.Extra

25+ , Data.Fun

26+ , Data.Hash

27+ , Data.Heap

28+ , Data.List.Zipper

29+ , Data.Matrix

30+ , Data.Matrix.Algebraic

31+ , Data.Matrix.Numeric

32+ , Data.Nat.DivMod

33+ , Data.Nat.DivMod.IteratedSubtraction

34+ , Data.Pairs.Implicit

35+ , Data.Rel

36+ , Data.Sign

37+ , Data.SortedMap

38+ , Data.SortedSet

39+ , Data.Storable

40+ , Data.Stream.Extra

41+ , Data.ZZ

42+ , Decidable.Decidable

43+ , Decidable.Order

44+ , Interfaces.Correlative

45+ , Interfaces.Verified

46+ , Network.Cgi

47+ , Network.Socket

48+ , Network.Socket.Data

49+ , Network.Socket.Raw

50+ , System.Concurrency.Process

51+ , Text.Lexer

52+ , Text.Literate

53+ , Text.Parser

54+ , Text.PrettyPrint.WL

55+ , Text.PrettyPrint.WL.Characters

56+ , Text.PrettyPrint.WL.Combinators

57+ , Text.PrettyPrint.WL.Core

libs/effects/effects.ipkg+11−12

@@ -1,21 +1,20 @@

11package effects

3−opts = "--nobasepkgs --partial-eval --typeintype -i ../prelude -i ../base"

4−

5−modules = Effects

6− , Effect.Default

7− , Effect.Monad

3+opts = "--nobasepkgs --partial-eval --typeintype -i ../prelude -i ../base"

5+modules = Effect.Default

96 , Effect.Exception

107 , Effect.File

11− , Effect.State

8+ , Effect.Logging.Category

9+ , Effect.Logging.Default

10+ , Effect.Logging.Level

11+ , Effect.Memory

12+ , Effect.Monad

13+ , Effect.Perf

1214 , Effect.Random

13− , Effect.StdIO

1415 , Effect.Select

15− , Effect.Memory

16+ , Effect.State

17+ , Effect.StdIO

1618 , Effect.System

1719 , Effect.Trans

18− , Effect.Logging.Level

19− , Effect.Logging.Default

20− , Effect.Logging.Category

21− , Effect.Perf

20+ , Effects

libs/prelude/prelude.ipkg+33−13

@@ -1,17 +1,37 @@

11package prelude

33opts = "--nobuiltins --total --no-elim-deprecation-warnings --partial-eval"

4−modules = Builtins, Prelude, IO,

6− Prelude.Algebra, Prelude.Basics, Prelude.Bool, Prelude.Cast,

7− Prelude.Interfaces, Prelude.Nat, Prelude.List,

8− Prelude.Maybe, Prelude.Monad, Prelude.Applicative, Prelude.Either,

9− Prelude.Strings, Prelude.Chars, Prelude.Show, Prelude.Functor,

10− Prelude.Foldable, Prelude.Traversable, Prelude.Bits, Prelude.Stream,

11− Prelude.Uninhabited, Prelude.Pairs, Prelude.Providers,

12− Prelude.Interactive, Prelude.File, Prelude.Doubles,

13− Prelude.WellFounded,

14−

15− Language.Reflection, Language.Reflection.Errors, Language.Reflection.Elab,

16−

17− Decidable.Equality

5+modules = Builtins

6+ , Decidable.Equality

7+ , IO

8+ , Language.Reflection

9+ , Language.Reflection.Elab

10+ , Language.Reflection.Errors

11+ , Prelude

12+ , Prelude.Algebra

13+ , Prelude.Applicative

14+ , Prelude.Basics

15+ , Prelude.Bits

16+ , Prelude.Bool

17+ , Prelude.Cast

18+ , Prelude.Chars

19+ , Prelude.Doubles

20+ , Prelude.Either

21+ , Prelude.File

22+ , Prelude.Foldable

23+ , Prelude.Functor

24+ , Prelude.Interactive

25+ , Prelude.Interfaces

26+ , Prelude.List

27+ , Prelude.Maybe

28+ , Prelude.Monad

29+ , Prelude.Nat

30+ , Prelude.Pairs

31+ , Prelude.Providers

32+ , Prelude.Show

33+ , Prelude.Stream

34+ , Prelude.Strings

35+ , Prelude.Traversable

36+ , Prelude.Uninhabited

37+ , Prelude.WellFounded

libs/pruviloj/pruviloj.ipkg+2−1

@@ -1,6 +1,7 @@

11package pruviloj

3−opts = "--nobasepkgs --partial-eval -i ../prelude -i ../base"

3+opts = "--nobasepkgs --partial-eval -i ../prelude -i ../base"

45modules = Pruviloj

56 , Pruviloj.Core

67 , Pruviloj.Derive.DecEq