mirror of
https://github.com/idris-lang/Idris2.git
synced 2024-11-12 18:50:17 +03:00
[ contrib ] move SortedMap and SortedSet to base (#2884)
This commit is contained in:
parent
ff822a747b
commit
b543daf5ab
@ -94,6 +94,8 @@
|
||||
|
||||
* `System`'s `die` now prints the error message on stderr rather than stdout
|
||||
|
||||
* Moved `Data.SortedMap` and `Data.SortedSet` from contrib to base.
|
||||
|
||||
#### System
|
||||
|
||||
* Changes `getNProcessors` to return the number of online processors rather than
|
||||
|
@ -75,6 +75,9 @@ modules = Control.App,
|
||||
Data.Rel,
|
||||
Data.Singleton,
|
||||
Data.So,
|
||||
Data.SortedMap,
|
||||
Data.SortedMap.Dependent,
|
||||
Data.SortedSet,
|
||||
Data.Stream,
|
||||
Data.String,
|
||||
Data.These,
|
||||
|
@ -83,10 +83,6 @@ modules = Control.ANSI,
|
||||
Data.Seq.Sized,
|
||||
Data.Seq.Unsized,
|
||||
|
||||
Data.SortedMap,
|
||||
Data.SortedMap.Dependent,
|
||||
Data.SortedSet,
|
||||
|
||||
Data.Stream.Extra,
|
||||
|
||||
Data.String.Extra,
|
||||
|
Loading…
Reference in New Issue
Block a user