readline exception in the fsi

[berdario]

System.Exception: 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 <filename unknown>:0 
  at System.TermInfoDriver.set_CursorTop (Int32 value) [0x00000] in <filename unknown>:0 
  at System.ConsoleDriver.set_CursorTop (Int32 value) [0x00000] in <filename unknown>:0 
  at System.Console.set_CursorTop (Int32 value) [0x00000] in <filename unknown>:0 
  at <StartupCode$fsi>.$Console+ResetTo@144.Invoke (Microsoft.FSharp.Core.Unit unitVar0) [0x00000] in <filename unknown>:0 
  at Microsoft.FSharp.Compiler.Interactive.Utils.guard (Microsoft.FSharp.Core.FSharpFunc`2 f) [0x00000] in <filename unknown>:0 

If I remember correctly, I compiled my Fsharp from commit 6d4f78d

[funnelweb]

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

[letrec]

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>.$Console+ResetTo@134.Invoke (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>.$Console+ResetTo@134.Invoke (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.

[funnelweb]

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

[letrec]

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 notifications@github.comwrote:

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/readline exception in the fsi #13#issuecomment-10381987.

[funnelweb]

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