Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Make library compatible with v0.14.0 #226

Closed
wants to merge 1 commit into from
Closed

Make library compatible with v0.14.0 #226

wants to merge 1 commit into from

Conversation

JordanMartinez
Copy link
Contributor

No description provided.

@JordanMartinez
Copy link
Contributor Author

~/Programming/Projects/package-sets/src/.spago/prelude/master$ ./purs-v0.14-rc2 compile "src/**/*.purs"
Compiling Type.Data.RowList
Compiling Record.Unsafe
Compiling Type.Data.Row
Compiling Data.NaturalTransformation
Compiling Data.Boolean
Compiling Control.Semigroupoid
Compiling Data.Symbol
Compiling Control.Category
Compiling Data.Show
Compiling Data.Unit
Compiling Data.Void
Compiling Data.HeytingAlgebra
Compiling Data.Semiring
Compiling Data.Semigroup
Compiling Data.Ring
Compiling Data.BooleanAlgebra
Compiling Data.Eq
Compiling Data.CommutativeRing
Compiling Data.Ordering
Compiling Data.EuclideanRing
Compiling Data.Ord.Unsafe
Compiling Data.Ord
Compiling Data.DivisionRing
Compiling Data.Field
Compiling Data.Bounded
Compiling Data.Function
Compiling Data.Monoid
Compiling Data.Functor
Compiling Control.Apply
Compiling Control.Applicative
Compiling Control.Bind
Compiling Control.Monad
Compiling Prelude
Compiling Data.Semigroup.First
Compiling Data.Monoid.Additive
Compiling Data.Monoid.Disj
Compiling Data.Monoid.Endo
Compiling Data.Semigroup.Last
Compiling Data.Monoid.Multiplicative
Compiling Data.Monoid.Dual
Compiling Data.Monoid.Conj

Error and warning free.

@JordanMartinez
Copy link
Contributor Author

Closing in favor of #227

@JordanMartinez JordanMartinez deleted the ps-0.14 branch September 26, 2020 22:53
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant