Skip to content

Commit

Permalink
Use Proscenium for stdlib exports, instead of Rudiments (#68)
Browse files Browse the repository at this point in the history
  • Loading branch information
propensive authored Jan 26, 2025
1 parent ec2c30a commit 34df0fc
Show file tree
Hide file tree
Showing 78 changed files with 85 additions and 76 deletions.
3 changes: 3 additions & 0 deletions .gitmodules
Original file line number Diff line number Diff line change
Expand Up @@ -280,3 +280,6 @@
[submodule "yossarian"]
path = yossarian
url = https://github.com/propensive/yossarian
[submodule "proscenium"]
path = proscenium
url = https://github.com/propensive/proscenium
2 changes: 1 addition & 1 deletion abacist
7 changes: 6 additions & 1 deletion build.mill
Original file line number Diff line number Diff line change
Expand Up @@ -758,6 +758,10 @@ object prepositional extends SoundnessModule {
object core extends SoundnessSubModule
}

object proscenium extends SoundnessModule {
object core extends SoundnessSubModule
}

object probably extends SoundnessModule {
object core extends SoundnessSubModule {
def moduleDeps = Seq(gossamer.core, chiaroscuro.core, ambience.core, turbulence.core, eucalyptus.core, coverage)
Expand Down Expand Up @@ -835,7 +839,8 @@ object rudiments extends SoundnessModule {
anticipation.codec,
fulminate.core,
vacuous.core,
denominative.core
denominative.core,
proscenium.core
)
}

Expand Down
2 changes: 1 addition & 1 deletion burdock
2 changes: 1 addition & 1 deletion caesura
2 changes: 1 addition & 1 deletion capricious
2 changes: 1 addition & 1 deletion chiaroscuro
2 changes: 1 addition & 1 deletion contextual
2 changes: 1 addition & 1 deletion cosmopolite
2 changes: 1 addition & 1 deletion enigmatic
2 changes: 1 addition & 1 deletion ethereal
2 changes: 1 addition & 1 deletion eucalyptus
2 changes: 1 addition & 1 deletion feudalism
2 changes: 1 addition & 1 deletion geodesy
2 changes: 1 addition & 1 deletion hallucination
2 changes: 1 addition & 1 deletion harlequin
2 changes: 1 addition & 1 deletion imperial
2 changes: 1 addition & 1 deletion inimitable
2 changes: 1 addition & 1 deletion iridescence
2 changes: 1 addition & 1 deletion kaleidoscope
2 changes: 1 addition & 1 deletion merino
2 changes: 1 addition & 1 deletion metamorphose
2 changes: 1 addition & 1 deletion mosquito
2 changes: 1 addition & 1 deletion phoenicia
2 changes: 1 addition & 1 deletion plutocrat
2 changes: 1 addition & 1 deletion polaris
1 change: 1 addition & 0 deletions proscenium
Submodule proscenium added at 7e9e9e
2 changes: 1 addition & 1 deletion punctuation
2 changes: 1 addition & 1 deletion quantitative
Submodule quantitative updated 34 files
+1 −1 src/core/quantitative-core.scala
+1 −0 src/core/quantitative.PhysicalQuantity.scala
+1 −1 src/core/quantitative.PrincipalUnit.scala
+1 −0 src/core/quantitative.Quantitative.scala
+1 −0 src/core/quantitative.Quantitative2.scala
+1 −1 src/core/quantitative.Units.scala
+1 −0 src/units/quantitative.ArcMinutes.scala
+1 −0 src/units/quantitative.ArcSeconds.scala
+1 −0 src/units/quantitative.Celsius.scala
+1 −0 src/units/quantitative.Chains.scala
+1 −0 src/units/quantitative.Days.scala
+1 −0 src/units/quantitative.Degrees.scala
+1 −0 src/units/quantitative.Drams.scala
+1 −0 src/units/quantitative.Fahrenheit.scala
+1 −0 src/units/quantitative.Feet.scala
+1 −0 src/units/quantitative.Furlongs.scala
+1 −0 src/units/quantitative.Grains.scala
+1 −0 src/units/quantitative.Hours.scala
+1 −0 src/units/quantitative.Hundredweights.scala
+1 −0 src/units/quantitative.Inches.scala
+1 −0 src/units/quantitative.Lightyears.scala
+1 −0 src/units/quantitative.Miles.scala
+1 −0 src/units/quantitative.Minutes.scala
+1 −0 src/units/quantitative.NauticalMiles.scala
+1 −0 src/units/quantitative.Ounces.scala
+1 −0 src/units/quantitative.Picas.scala
+1 −0 src/units/quantitative.Points.scala
+1 −0 src/units/quantitative.Pounds.scala
+1 −0 src/units/quantitative.Quarters.scala
+1 −0 src/units/quantitative.Rankines.scala
+1 −0 src/units/quantitative.SiderealDays.scala
+1 −0 src/units/quantitative.Stones.scala
+1 −0 src/units/quantitative.Tons.scala
+1 −0 src/units/quantitative.Yards.scala
2 changes: 1 addition & 1 deletion rudiments
2 changes: 1 addition & 1 deletion surveillance
2 changes: 1 addition & 1 deletion ulysses
2 changes: 1 addition & 1 deletion yossarian

0 comments on commit 34df0fc

Please sign in to comment.