readline exception in the fsi about fsharp HOT 5 CLOSED

Any details on this? Closing for now since it doesn't repro using the steps above and F# 3.0 on linux

from fsharp.

I'm getting the same:

type C = A | B;;

type C =
| A
| B

warning FS0192: internal error: Note: an unexpected exception in fsi.exe readline console support. Consider starting fsi.exe with the --no-readline option and report the stack trace below to the .NET or Mono implementors
Value must be positive and below the buffer height.
Parameter name: top
at System.TermInfoDriver.SetCursorPosition (Int32 left, Int32 top) [0x00000] in :0
at System.TermInfoDriver.set_CursorTop (Int32 value) [0x00000] in :0
at System.ConsoleDriver.set_CursorTop (Int32 value) [0x00000] in :0
at System.Console.set_CursorTop (Int32 value) [0x00000] in :0
at <StartupCode$fsi>.$[email protected] (Microsoft.FSharp.Core.Unit unitVar0) [0x00000] in :0
at Microsoft.FSharp.Compiler.Interactive.Utils.guard (Microsoft.FSharp.Core.FSharpFunc`2 f) [0x00000] in :0

warning FS0192: internal error: Note: an unexpected exception in fsi.exe readline console support. Consider starting fsi.exe with the --no-readline option and report the stack trace below to the .NET or Mono implementors
Value must be positive and below the buffer height.
Parameter name: top
at System.TermInfoDriver.SetCursorPosition (Int32 left, Int32 top) [0x00000] in :0
at System.TermInfoDriver.set_CursorTop (Int32 value) [0x00000] in :0
at System.ConsoleDriver.set_CursorTop (Int32 value) [0x00000] in :0
at System.Console.set_CursorTop (Int32 value) [0x00000] in :0
at <StartupCode$fsi>.$[email protected] (Microsoft.FSharp.Core.Unit unitVar0) [0x00000] in :0
at Microsoft.FSharp.Compiler.Interactive.Utils.guard (Microsoft.FSharp.Core.FSharpFunc`2 f) [0x00000] in :0

F# 3.0 built from the git repo on Mono 3.0.1.

from fsharp.

a few questions

• anything specific about your setup
• are you running in emacs or with unusual terminal settings in some way
• does turning off readline with "--readline-" help

from fsharp.

The setup is pretty common, I run it in a terminal.
Can't reproduce it anymore.

On Thu, Nov 15, 2012 at 4:12 AM, Ben Winkel [email protected]:

a few questions

• anything specific about your setup

• are you running in emacs or with unusual terminal settings in some
  way

• does turning off readline with "--readline-" help

  —
  Reply to this email directly or view it on GitHubhttps://github.com//issues/13#issuecomment-10381987.

from fsharp.

closing this because of the "can't reproduce anymore"

from fsharp.