Покажи ошибку.

/home/daniil/fvim/def.fs(160,39): error FS0039: Тип "uint" не определен. Возможно, требуется одно из следующих:   uint8   UInt16   UInt32   UInt64   uint16 [/home/daniil/fvim/fvim.fsproj]
/home/daniil/fvim/def.fs(143,25): error FS0039: Значение или конструктор "uint" не определены. Возможно, требуется одно из следующих:   uint8   UInt16   UInt32   UInt64   uint16 [/home/daniil/fvim/fvim.fsproj]
/home/daniil/fvim/def.fs(144,46): error FS0039: Значение или конструктор "uint" не определены. Возможно, требуется одно из следующих:   uint8   UInt16   UInt32   UInt64   uint16 [/home/daniil/fvim/fvim.fsproj]
/home/daniil/fvim/def.fs(144,77): error FS0039: Значение или конструктор "uint" не определены. Возможно, требуется одно из следующих:   uint8   UInt16   UInt32   UInt64   uint16 [/home/daniil/fvim/fvim.fsproj]
/home/daniil/fvim/def.fs(159,11): error FS0041: Невозможно определить уникальную перегрузку метода "feed" на основе сведений о типе, заданных до данной точки программы. Возможно, требуется аннотация типа. Кандидаты: static member Rune.feed : x:Rune * buf:'a [] * len:byref<int> -> 'b, static member Rune.feed : x:Rune * buf:char [] * len:byref<int> -> unit [/home/daniil/fvim/fvim.fsproj]
/home/daniil/fvim/def.fs(160,39): error FS0039: Тип "uint" не определен. Возможно, требуется одно из следующих:   uint8   UInt16   UInt32   UInt64   uint16 [/home/daniil/fvim/fvim.fsproj]
/home/daniil/fvim/wcwidth.fs(523,30): error FS0039: Тип "uint" не определен. Возможно, требуется одно из следующих:   uint8   uint16   uint32   uint64   Unit [/home/daniil/fvim/fvim.fsproj]
/home/daniil/fvim/wcwidth.fs(523,35): error FS0039: Тип "uint" не определен. Возможно, требуется одно из следующих:   uint8   uint16   uint32   uint64   Unit [/home/daniil/fvim/fvim.fsproj]
/home/daniil/fvim/wcwidth.fs(523,50): error FS0039: Тип "uint" не определен. Возможно, требуется одно из следующих:   uint8   uint16   uint32   uint64   Unit [/home/daniil/fvim/fvim.fsproj]
/home/daniil/fvim/wcwidth.fs(543,18): error FS0039: Тип "uint" не определен. Возможно, требуется одно из следующих:   uint8   uint16   uint32   uint64   Unit [/home/daniil/fvim/fvim.fsproj]
/home/daniil/fvim/ui.fs(222,37): error FS0039: Тип "uint" не определен. Возможно, требуется одно из следующих:   uint8   UInt16   UInt32   UInt64   uint16 [/home/daniil/fvim/fvim.fsproj]
/home/daniil/fvim/ui.fs(222,37): error FS0039: Тип "uint" не определен. Возможно, требуется одно из следующих:   uint8   UInt16   UInt32   UInt64   uint16 [/home/daniil/fvim/fvim.fsproj]
/home/daniil/fvim/ui.fs(272,45): error FS0039: Поле, конструктор или элемент "Length" не определены. [/home/daniil/fvim/fvim.fsproj]
/home/daniil/fvim/ui.fs(273,55): error FS0039: Поле, конструктор или элемент "Length" не определены. [/home/daniil/fvim/fvim.fsproj]
/home/daniil/fvim/ui.fs(274,27): error FS0039: Поле, конструктор или элемент "Length" не определены. [/home/daniil/fvim/fvim.fsproj]
/home/daniil/fvim/ui.fs(275,65): error FS0039: Поле, конструктор или элемент "Span" не определены. [/home/daniil/fvim/fvim.fsproj]
/home/daniil/fvim/ui.fs(275,59): error FS0752: Оператор "expr.[idx]" применялся к объекту неопределенного типа на основе информации, полученной до этой точки программы. Попробуйте добавить дополнительные ограничения типа [/home/daniil/fvim/fvim.fsproj]
/home/daniil/fvim/ui.fs(276,64): error FS0039: Поле, конструктор или элемент "Length" не определены. [/home/daniil/fvim/fvim.fsproj]
/home/daniil/fvim/Views/Editor.xaml.fs(85,34): error FS0039: Тип "uint" не определен. Возможно, требуется одно из следующих:   uint8   UInt16   UInt32   UInt64   uint16 [/home/daniil/fvim/fvim.fsproj]
/home/daniil/fvim/Views/Editor.xaml.fs(126,11): error FS0041: Невозможно определить уникальную перегрузку метода "feed" на основе сведений о типе, заданных до данной точки программы. Возможно, требуется аннотация типа. Кандидаты: static member Rune.feed : x:Rune * buf:char [] * len:byref<int> -> unit, static member Rune.feed : x:Rune * buf:uint32 [] * len:byref<int> -> unit [/home/daniil/fvim/fvim.fsproj]

/home/daniil/fvim/Views/Editor.xaml.fs(128,21): error FS0001: В данном выражении требовалось наличие типа    "obj"    , но получен тип    "ReadOnlyMemory<'a>" [/home/daniil/fvim/fvim.fsproj]
/home/daniil/fvim/Views/Cursor.xaml.fs(52,24): error FS0039: Тип "uint" не определен. Возможно, требуется одно из следующих:   uint8   UInt16   UInt32   UInt64   uint16 [/home/daniil/fvim/fvim.fsproj]
/home/daniil/fvim/Views/Cursor.xaml.fs(145,21): error FS0041: Невозможно определить уникальную перегрузку метода "feed" на основе сведений о типе, заданных до данной точки программы. Возможно, требуется аннотация типа. Кандидаты: static member Rune.feed : x:Rune * buf:char [] * len:byref<int> -> unit, static member Rune.feed : x:Rune * buf:uint32 [] * len:byref<int> -> unit [/home/daniil/fvim/fvim.fsproj]
/home/daniil/fvim/Views/Cursor.xaml.fs(146,44): error FS0001: В данном выражении требовалось наличие типа    "obj"    , но получен тип    "ReadOnlyMemory<'a>" [/home/daniil/fvim/fvim.fsproj]

Ошибка сборки. Устраните ошибки сборки и повторите попытку.

Не нужно простыню целиком. :)

поздно

Мб у тебя просто компилятор старый?

Скорее всего.

из sdk 3.1, как и требовалось

Что заставляет тебя так считать?

В репозитории fvim указан SDK 5.0.x: https://github.com/yatli/fvim/blob/82dd51347cc3a5ea859e2372a27c9c49084f2f78/azure-pipelines.yml#L15-L19

>Compile from Source (having dotnet-sdk-3.1+ installed)

dotnet --version
3.1.108

Щас пофиксим

Почини!

Короче, он и под 3.1 прекрасно запускается, если пофиксить uint)))

Готово.

👍

Всем утро )
Как можно заполнить обьект по типу случайными значениями или хотя бы минимальными?
Вроде

 type ExampleType =
        { first : int
          second: string 
          third: string option}

Сделать что-то вроде:

let(example:ExampleType)=ExampleType.SetDefaultValues

И получить что-то вроде

{first = 0;
second = "";
third = None}

 type ExampleType =
        { first : int
          second: string 
          third: string option}

let(example:ExampleType)=ExampleType.SetDefaultValues

{first = 0;
second = "";
third = None}

FsCheck генераторы