type Vehicle() = abstract member TopSpeed: int -> int default this.TopSpeed x = if (x = 0) then 1 else (this.TopSpeed (x * 60 - 1)) // default this.TopSpeed x = // while (x = 1) do (this.TopSpeed (x * 60 - 1)) // 1 type Rocket() = inherit Vehicle() override this.TopSpeed x = printfn "rocket.TopSpeed = %i" <| x base.TopSpeed x * 10 // test let vehicle = new Vehicle() printfn "vehicle.TopSpeed = %i" <| vehicle.TopSpeed 1 let rocket = new Rocket() printfn "rocket.TopSpeed = %i" <| rocket.TopSpeed 2
Standard input is empty
Standard output is empty
Stacktrace: Native stacktrace: /usr/bin/mono [0x80c976f] /usr/bin/mono [0x80f34db] [0xb775540c] [0xb775540c] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] [0xb7222584] Debug info from gdb: ================================================================= Got a SIGSEGV while executing native code. This usually indicates a fatal error in the mono runtime or one of the native libraries used by your application. ================================================================= /spoj/fsharp_run: line 9: 16302 Aborted /usr/bin/mono prog.exe