File tree Expand file tree Collapse file tree 1 file changed +4
-1
lines changed Expand file tree Collapse file tree 1 file changed +4
-1
lines changed Original file line number Diff line number Diff line change @@ -10,8 +10,11 @@ open System.Collections.Generic
1010/// When this fix flag is true, this byte is converted to a char using the System.Console.InputEncoding.
1111/// This is a code-around for bug://1345.
1212/// Fixes to System.Console.ReadKey may break this code around, hence the option here.
13+ [<AutoOpen>]
1314module internal ConsoleOptions =
1415
16+ let inline (| NonNull |) x = match x with null -> raise ( NullReferenceException()) | v -> v
17+
1518 let readKeyFixup ( c : char ) =
1619#if ! FX_ NO_ SERVERCODEPAGES
1720 // Assumes the c:char is actually a byte in the System.Console.InputEncoding.
@@ -354,7 +357,7 @@ type internal ReadLineConsole() =
354357 // REVIEW: the Ctrl-Z code is not recognised as EOF by the lexer.
355358 // REVIEW: looks like a relic of the port of readline, which is currently removable.
356359 let c = if ( key.Key = ConsoleKey.F6) then '\x1A' else key.KeyChar
357- let c = ConsoleOptions. readKeyFixup c
360+ let c = readKeyFixup c
358361 insertChar( c)
359362
360363 let backspace () =
You can’t perform that action at this time.
0 commit comments