Created
April 12, 2014 13:14
-
-
Save bjartwolf/10535228 to your computer and use it in GitHub Desktop.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| [<Measure>] type m | |
| [<Measure>] type s | |
| [<Measure>] type kg | |
| [<Measure>] type N = kg m / s / s | |
| let a = 9.81<m/s/s> | |
| let mass = 10.0<kg> | |
| let f = a*mass | |
| let pow3 (x:float<'u>):float<'u^3> = | |
| let power = pown (float x) 3 | |
| ((box power) :?> float<'u^3>) | |
| let f2 = pow3 f | |
| let f3 = f2+f | |
| f2.Dump() |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
The error is obviously right, it's the implementation of pow3 that sucks...