Skip to content

Commit

Permalink
style fixes
Browse files Browse the repository at this point in the history
  • Loading branch information
Nick Dunets committed May 20, 2024
1 parent 7464696 commit 5f8a9ed
Show file tree
Hide file tree
Showing 3 changed files with 4 additions and 4 deletions.
2 changes: 1 addition & 1 deletion src/Fable.AST/Fable.fs
Original file line number Diff line number Diff line change
Expand Up @@ -51,7 +51,7 @@ type MemberRefInfo =
IsInstance: bool
CompiledName: string
NonCurriedArgTypes: Type list option
AttributeFullNames: list<string>
AttributeFullNames: string list
}

type MemberRef =
Expand Down
4 changes: 2 additions & 2 deletions src/Fable.Transforms/Rust/Fable2Rust.fs
Original file line number Diff line number Diff line change
Expand Up @@ -1713,7 +1713,7 @@ module Util =
Array.concat [ BitConverter.GetBytes(lower); BitConverter.GetBytes(upper) ] // little endian

let big = Numerics.BigInteger(bytes)
let s = string big
let s = string<Numerics.BigInteger> big
let expr = mkInt128LitExpr (s.TrimStart('-'))
expr |> negateWhen (s.StartsWith("-", StringComparison.Ordinal))
| Fable.NumberValue.UNativeInt x -> mkUsizeLitExpr (x |> string<unativeint>)
Expand All @@ -1726,7 +1726,7 @@ module Util =
Array.concat [ BitConverter.GetBytes(lower); BitConverter.GetBytes(upper); [| 0uy |] ] // little endian

let big = Numerics.BigInteger(bytes)
mkUInt128LitExpr (string big)
mkUInt128LitExpr (string<Numerics.BigInteger> big)
| Fable.NumberValue.Float16 x ->
let expr = mkFloat32LitExpr (abs x |> string<float32>)
expr |> negateWhen (x < 0.0f)
Expand Down
2 changes: 1 addition & 1 deletion src/Fable.Transforms/Transforms.Util.fs
Original file line number Diff line number Diff line change
Expand Up @@ -1052,7 +1052,7 @@ module AST =
| Int128, _
| UInt128, _
| Float16, _ ->
FableError $"Unsupported Number Kind %A{kind} and value {x} combination"
FableError $"Unsupported Number Kind %A{kind} and value %A{x} combination"
|> raise

| _, (:? char as x) ->
Expand Down

0 comments on commit 5f8a9ed

Please sign in to comment.