fix: minor adjustments and moved LCG spec file

compiler/main/Infer/ToSolved.hs

@@ -13,6 +13,9 @@ tSubst = TVar (TV (-1) Star)
 toSolved :: Can.Exp -> Slv.Exp
 toSolved (Can.Canonical area exp) = case exp of
   Can.LNum  v          -> Slv.Typed ([] :=> tNumber) area (Slv.LNum v)
+  Can.LByte  v         -> Slv.Typed ([] :=> tByte) area (Slv.LNum v)
+  Can.LShort  v        -> Slv.Typed ([] :=> tShort) area (Slv.LNum v)
+  Can.LInt  v          -> Slv.Typed ([] :=> tInteger) area (Slv.LNum v)
   Can.LFloat v         -> Slv.Typed ([] :=> tFloat) area (Slv.LFloat v)
   Can.LStr  v          -> Slv.Typed ([] :=> tStr) area (Slv.LStr v)
   Can.LChar v          -> Slv.Typed ([] :=> tChar) area (Slv.LChar v)

prelude/__internal__/Random/LCG.mad

@@ -1,6 +1,5 @@
 import type { Maybe } from "Maybe"
 
-import Byte from "Byte"
 import ByteArray from "ByteArray"
 import Float from "Float"
 import Integer from "Integer"
@@ -118,8 +117,7 @@ export mkSeed = pipe(
 stringToInt :: String -> Integer
 export stringToInt = pipe(
   ByteArray.fromString,
-  ByteArray.reduce((hash, byte) => hash + (byte << 6) + (byte << 16), 0),
-  Byte.toInteger,
+  ByteArray.reduce((hash, byte) => hash + (Integer.fromByte(byte) << 6) + (Integer.fromByte(byte) << 16), 0),
 )
 
 mkSeedFromString :: String -> Seed

prelude/__internal__/LCG.spec.mad → prelude/__internal__/Random/LCG.spec.mad

@@ -1,5 +1,3 @@
-import Float from "Float"
-import Math from "Math"
 import String from "String"
 import { assertEquals, test } from "Test"
 
@@ -81,7 +79,7 @@ test(
     )(seed)
     return assertEquals(
       shuffled,
-      ["kmjbgzxorpvuqtadlfhynwcei", "vqpmxicafdrylhkbuzoetwjgn", "rlwqcnjkzbfeuovmydaghipxt"],
+      ["jwmzptgxeflqainkrbyhvudoc", "euackygdptqrjvilbfoxwhznm", "phjmlogzkyrbewvqftnduxcia"],
     )
   },
 )