Movatterモバイル変換


[0]ホーム

URL:


Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Sign up
Appearance settings

Commite4cf4a2

Browse files
author
andrewjkennedy
committed
Small cleanup of units pickling
1 parentdb6643a commite4cf4a2

File tree

1 file changed

+4
-5
lines changed

1 file changed

+4
-5
lines changed

‎src/fsharp/pickle.fs‎

Lines changed: 4 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -1438,8 +1438,7 @@ let p_measure_intpower unt n st =
14381438
// Pickle a rational power of a unit-of-measure variable or constructor
14391439
let recp_measure_power unt q st=
14401440
if q= ZeroRationalthen p_measure_one st
1441-
else
1442-
if GetDenominator q=1
1441+
elif GetDenominator q=1
14431442
then p_measure_intpower unt(GetNumerator q) st
14441443
else p_byte5 st; p_measure_varcon unt st; p_rational q st
14451444

@@ -1449,11 +1448,11 @@ let rec p_measure_power unt q st =
14491448
let recp_normalized_measure unt st=
14501449
letunt= stripUnitEqnsAuxfalse unt
14511450
match untwith
1452-
| MeasureCon tcref->p_measurecon tcref st
1451+
| MeasureCon tcref->p_measure_con tcref st
14531452
| MeasureInv x-> p_byte1 st; p_normalized_measure x st
14541453
| MeasureProd(x1,x2)-> p_byte2 st; p_normalized_measure x1 st; p_normalized_measure x2 st
1455-
| MeasureVar v->p_measurevar v st
1456-
| MeasureOne-> p_measure_one
1454+
| MeasureVar v->p_measure_var v st
1455+
| MeasureOne-> p_measure_one st
14571456
| MeasureRationalPower(x,q)-> p_measure_power x q st
14581457

14591458
// By normalizing the unit-of-measure and treating integer powers as a special case,

0 commit comments

Comments
 (0)

[8]ページ先頭

©2009-2025 Movatter.jp