git.iko.soy/rowtype-yoga/purescript-literals
on main help sign in
Update to ps-0.14
commit71496b309f331466977e10fe02a11ad3994b36d3 authorJan Vincent Liwanag <jvliwanag@gmail.com> dateWed 10 Mar 2021, 13:26 (6 years ago) parent9834653
4 files changed+5−9
compare with main
unifiedsplit
packages.dhall+1−3 src/Literals.purs−1 src/Literals/Int.purs+2−2 src/Literals/Number.purs+2−3
packages.dhall+1−3
@@ -116,10 +116,8 @@ let additions =
116116 }
117117-------------------------------
118118-}
119−
120−
121119let upstream =
122− https://github.com/purescript/package-sets/releases/download/psc-0.13.4-20191110/packages.dhall sha256:563a7f694e18e6399f7f6d01f5b7e3c3345781655d99945768f48e458feb93a4
120+ https://github.com/purescript/package-sets/releases/download/psc-0.14.0-20210309/packages.dhall sha256:585332a8a11c6420d7287943f81bc2121746cdd352f2cf3f5ecf65053f2afcd3
123121
124122let overrides = {=}
125123
src/Literals.purs−1
@@ -11,4 +11,3 @@ import Literals.Int (class Digit, class Int, class Int', IntLit, intLit) as Int
1111import Literals.Literal (Literal, toValue) as Literal
1212import Literals.Number (class Number, class Number', NumberLit, numberLit) as Number
1313import Literals.String (StringLit, stringLit) as String
14−
src/Literals/Int.purs+2−2
@@ -6,7 +6,7 @@ module Literals.Int
66 , class Int
77 , class Int'
88 , intLit
9− , kind IntPart
9+ , IntPart
1010 ) where
1111
1212import Prelude
@@ -33,7 +33,7 @@ else instance digit7 :: Digit "7"
3333else instance digit8 :: Digit "8"
3434else instance digit9 :: Digit "9"
3535
36−foreign import kind IntPart
36+data IntPart
3737foreign import data Sign :: IntPart
3838foreign import data IntegerPart :: IntPart
3939
src/Literals/Number.purs+2−3
@@ -5,7 +5,7 @@ module Literals.Number
55 , Sign
66 , class Number
77 , class Number'
8− , kind NumberPart
8+ , NumberPart
99 , numberLit
1010 ) where
1111
@@ -25,7 +25,7 @@ class Number (sym :: Symbol)
2525
2626instance numberInstance :: (Number' h t Sign, Cons h t s) => Number s
2727
28−foreign import kind NumberPart
28+data NumberPart
2929foreign import data Sign :: NumberPart
3030foreign import data IntegerPart :: NumberPart
3131foreign import data FractionalPart :: NumberPart
@@ -43,4 +43,3 @@ type NumberLit sym = Literal Number sym
4343
4444numberLit :: forall sym. IsSymbol sym => Number sym => NumberLit sym
4545numberLit = unsafeCoerce $ unsafePartial $ fromJust $ fromString $ reflectSymbol (SProxy :: SProxy sym)
46−