Created
January 22, 2020 05:04
-
-
Save adz/d79912d316f99d6dedae62494bab9d23 to your computer and use it in GitHub Desktop.
FSharpPlus build docs output: $ ./docsrc/tools/generate.sh
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Processing help: /home/adam/projects/libs/FSharpPlus/docsrc/tools/../content/type-choicet.fsx | |
Processing help: /home/adam/projects/libs/FSharpPlus/docsrc/tools/../content/type-endo.fsx | |
Processing help: /home/adam/projects/libs/FSharpPlus/docsrc/tools/../content/abstraction-monoid.fsx | |
SourceError | |
((0, 0),(0, 0),Error, | |
"The type 'OptionalAttribute' is required here and is unavailable. You must add a reference to assembly 'System.Runtime.InteropServices, Version=4.2.2.0, Culture=neutral, PublicKeyToken=b03f5f7f11d50a3a'.") | |
SourceError | |
((2, 0),(2, 6),Error, | |
"Unexpected keyword 'static' in definition. Expected incomplete structured construct at or before this point or other token.") | |
Processing help: /home/adam/projects/libs/FSharpPlus/docsrc/tools/../content/type-free.fsx | |
Processing help: /home/adam/projects/libs/FSharpPlus/docsrc/tools/../content/abstraction-foldable.fsx | |
SourceError | |
((110, 8),(110, 16),Error, | |
"Value restriction. The value 'resSum21' has been inferred to have generic type | |
val resSum21 : '_a | |
Either define 'resSum21' as a simple data term, make it a function with explicit arguments or, if you do not intend for it to be generic, add a type annotation.") | |
SourceError | |
((111, 8),(111, 21),Error, | |
"Value restriction. The value 'resProduct324' has been inferred to have generic type | |
[<Struct>] | |
val resProduct324 : Mult<'_a> | |
Either define 'resProduct324' as a simple data term, make it a function with explicit arguments or, if you do not intend for it to be generic, add a type annotation.") | |
SourceError | |
((2, 0),(2, 6),Error, | |
"Unexpected keyword 'static' in definition. Expected incomplete structured construct at or before this point or other token.") | |
Processing help: /home/adam/projects/libs/FSharpPlus/docsrc/tools/../content/type-last.fsx | |
Processing help: /home/adam/projects/libs/FSharpPlus/docsrc/tools/../content/type-writert.fsx | |
Processing help: /home/adam/projects/libs/FSharpPlus/docsrc/tools/../content/type-any.fsx | |
Processing help: /home/adam/projects/libs/FSharpPlus/docsrc/tools/../content/abstraction-semigroup.fsx | |
SourceError | |
((2, 0),(2, 6),Error, | |
"Unexpected keyword 'static' in definition. Expected incomplete structured construct at or before this point or other token.") | |
Processing help: /home/adam/projects/libs/FSharpPlus/docsrc/tools/../content/type-first.fsx | |
Processing help: /home/adam/projects/libs/FSharpPlus/docsrc/tools/../content/type-mult.fsx | |
Processing help: /home/adam/projects/libs/FSharpPlus/docsrc/tools/../content/type-ziplist.fsx | |
Processing help: /home/adam/projects/libs/FSharpPlus/docsrc/tools/../content/type-state.fsx | |
Processing help: /home/adam/projects/libs/FSharpPlus/docsrc/tools/../content/abstraction-bifunctor.fsx | |
SourceError | |
((2, 0),(2, 6),Error, | |
"Unexpected keyword 'static' in definition. Expected incomplete structured construct at or before this point or other token.") | |
Processing help: /home/adam/projects/libs/FSharpPlus/docsrc/tools/../content/type-identity.fsx | |
Processing help: /home/adam/projects/libs/FSharpPlus/docsrc/tools/../content/type-contt.fsx | |
Processing help: /home/adam/projects/libs/FSharpPlus/docsrc/tools/../content/type-compose.fsx | |
Processing help: /home/adam/projects/libs/FSharpPlus/docsrc/tools/../content/type-optiont.fsx | |
Processing help: /home/adam/projects/libs/FSharpPlus/docsrc/tools/../content/lens.fsx | |
SourceError | |
((91, 4),(91, 6),Error, | |
"Value restriction. The value 't1' has been inferred to have generic type | |
val t1 : '_a | |
Either define 't1' as a simple data term, make it a function with explicit arguments or, if you do not intend for it to be generic, add a type annotation.") | |
SourceError | |
((99, 4),(99, 6),Error, | |
"Value restriction. The value 't3' has been inferred to have generic type | |
val t3 : '_a list | |
Either define 't3' as a simple data term, make it a function with explicit arguments or, if you do not intend for it to be generic, add a type annotation.") | |
SourceError | |
((107, 4),(107, 6),Error, | |
"Value restriction. The value 't5' has been inferred to have generic type | |
val t5 : '_a option | |
Either define 't5' as a simple data term, make it a function with explicit arguments or, if you do not intend for it to be generic, add a type annotation.") | |
SourceError | |
((129, 4),(129, 6),Error, | |
"Value restriction. The value 'f4' has been inferred to have generic type | |
val f4 : '_a list | |
Either define 'f4' as a simple data term, make it a function with explicit arguments or, if you do not intend for it to be generic, add a type annotation.") | |
SourceError | |
((141, 4),(141, 6),Error, | |
"Value restriction. The value 'f8' has been inferred to have generic type | |
val f8 : '_a list | |
Either define 'f8' as a simple data term, make it a function with explicit arguments or, if you do not intend for it to be generic, add a type annotation.") | |
Processing help: /home/adam/projects/libs/FSharpPlus/docsrc/tools/../content/type-dual.fsx | |
Processing help: /home/adam/projects/libs/FSharpPlus/docsrc/tools/../content/abstraction-traversable.fsx | |
SourceError | |
((2, 0),(2, 6),Error, | |
"Unexpected keyword 'static' in definition. Expected incomplete structured construct at or before this point or other token.") | |
Processing help: /home/adam/projects/libs/FSharpPlus/docsrc/tools/../content/type-listt.fsx | |
Processing help: /home/adam/projects/libs/FSharpPlus/docsrc/tools/../content/type-writer.fsx | |
Processing help: /home/adam/projects/libs/FSharpPlus/docsrc/tools/../content/type-nonempty.fsx | |
Processing help: /home/adam/projects/libs/FSharpPlus/docsrc/tools/../content/abstraction-category.fsx | |
SourceError | |
((2, 0),(2, 6),Error, | |
"Unexpected keyword 'static' in definition. Expected incomplete structured construct at or before this point or other token.") | |
Processing help: /home/adam/projects/libs/FSharpPlus/docsrc/tools/../content/abstraction-misc.fsx | |
SourceError | |
((0, 0),(0, 0),Error, | |
"The type 'OperationCanceledException' is required here and is unavailable. You must add a reference to assembly 'System.Threading.Tasks, Version=4.1.2.0, Culture=neutral, PublicKeyToken=b03f5f7f11d50a3a'.") | |
Processing help: /home/adam/projects/libs/FSharpPlus/docsrc/tools/../content/extension-methods.fsx | |
Processing help: /home/adam/projects/libs/FSharpPlus/docsrc/tools/../content/computation-expressions.fsx | |
SourceError | |
((75, 4),(75, 18),Error, | |
"Value restriction. The value 'maybeManyTimes' has been inferred to have generic type | |
val maybeManyTimes : '_a option | |
Either define 'maybeManyTimes' as a simple data term, make it a function with explicit arguments or, if you do not intend for it to be generic, add a type annotation.") | |
Processing help: /home/adam/projects/libs/FSharpPlus/docsrc/tools/../content/type-statet.fsx | |
Processing help: /home/adam/projects/libs/FSharpPlus/docsrc/tools/../content/type-reader.fsx | |
Processing help: /home/adam/projects/libs/FSharpPlus/docsrc/tools/../content/numerics.fsx | |
SourceError | |
((212, 23),(212, 26),Error, | |
"This expression was expected to have type | |
'float32' | |
but here has type | |
'float' ") | |
SourceError | |
((215, 26),(215, 29),Error, | |
"This expression was expected to have type | |
'float32' | |
but here has type | |
'float' ") | |
Processing help: /home/adam/projects/libs/FSharpPlus/docsrc/tools/../content/abstraction-arrow.fsx | |
SourceError | |
((2, 0),(2, 6),Error, | |
"Unexpected keyword 'static' in definition. Expected incomplete structured construct at or before this point or other token.") | |
Processing help: /home/adam/projects/libs/FSharpPlus/docsrc/tools/../content/type-parallelarray.fsx | |
Processing help: /home/adam/projects/libs/FSharpPlus/docsrc/tools/../content/index.fsx | |
Processing help: /home/adam/projects/libs/FSharpPlus/docsrc/tools/../content/abstraction-applicative.fsx | |
SourceError | |
((144, 41),(144, 48),Error, | |
"The value or constructor 'getName' is not defined. Maybe you want one of the following: | |
getAge | |
getOne | |
getApp | |
get | |
getMinValue") | |
SourceError | |
((2, 0),(2, 6),Error, | |
"Unexpected keyword 'static' in definition. Expected incomplete structured construct at or before this point or other token.") | |
Processing help: /home/adam/projects/libs/FSharpPlus/docsrc/tools/../content/abstraction-functor.fsx | |
SourceError | |
((129, 20),(129, 33),Error, | |
"The value or constructor 'fTimes2minus3' is not defined.") | |
SourceError | |
((149, 21),(149, 34),Error, | |
"The value or constructor 'fTimes2minus3' is not defined.") | |
SourceError | |
((2, 0),(2, 6),Error, | |
"Unexpected keyword 'static' in definition. Expected incomplete structured construct at or before this point or other token.") | |
Processing help: /home/adam/projects/libs/FSharpPlus/docsrc/tools/../content/types.fsx | |
Processing help: /home/adam/projects/libs/FSharpPlus/docsrc/tools/../content/type-seqt.fsx | |
Processing help: /home/adam/projects/libs/FSharpPlus/docsrc/tools/../content/abstraction-profunctor.fsx | |
SourceError | |
((102, 31),(102, 35),Error, | |
"The value or constructor 'resl' is not defined. Maybe you want one of the following: | |
Result | |
result | |
ResultT | |
ref | |
rem") | |
SourceError | |
((104, 31),(104, 35),Error, | |
"The value or constructor 'resr' is not defined. Maybe you want one of the following: | |
Result | |
result | |
ref | |
rem | |
rev") | |
SourceError | |
((106, 31),(106, 35),Error, | |
"The value or constructor 'resd' is not defined. Maybe you want one of the following: | |
Result | |
result | |
ref | |
rem | |
rev") | |
SourceError | |
((2, 0),(2, 6),Error, | |
"Unexpected keyword 'static' in definition. Expected incomplete structured construct at or before this point or other token.") | |
Processing help: /home/adam/projects/libs/FSharpPlus/docsrc/tools/../content/type-resultt.fsx | |
Processing help: /home/adam/projects/libs/FSharpPlus/docsrc/tools/../content/abstractions.fsx | |
Processing help: /home/adam/projects/libs/FSharpPlus/docsrc/tools/../content/type-validation.fsx | |
Processing help: /home/adam/projects/libs/FSharpPlus/docsrc/tools/../content/abstraction-bifoldable.fsx | |
SourceError | |
((137, 0),(137, 4),Error,"The value or constructor 'law1' is not defined.") | |
SourceError | |
((138, 0),(138, 4),Error,"The value or constructor 'law1' is not defined.") | |
SourceError | |
((139, 0),(139, 4),Error,"The value or constructor 'law1' is not defined.") | |
SourceError | |
((140, 0),(140, 4),Error,"The value or constructor 'law1' is not defined.") | |
SourceError | |
((141, 0),(141, 4),Error,"The value or constructor 'law1' is not defined.") | |
SourceError | |
((142, 0),(142, 4),Error,"The value or constructor 'law1' is not defined.") | |
SourceError | |
((143, 0),(143, 4),Error,"The value or constructor 'law1' is not defined.") | |
SourceError | |
((149, 0),(149, 4),Error,"The value or constructor 'law2' is not defined.") | |
SourceError | |
((150, 0),(150, 4),Error,"The value or constructor 'law2' is not defined.") | |
SourceError | |
((151, 0),(151, 4),Error,"The value or constructor 'law2' is not defined.") | |
SourceError | |
((157, 0),(157, 4),Error,"The value or constructor 'law3' is not defined.") | |
SourceError | |
((158, 0),(158, 4),Error,"The value or constructor 'law3' is not defined.") | |
SourceError | |
((159, 0),(159, 4),Error,"The value or constructor 'law3' is not defined.") | |
SourceError | |
((2, 0),(2, 6),Error, | |
"Unexpected keyword 'static' in definition. Expected incomplete structured construct at or before this point or other token.") | |
Processing help: /home/adam/projects/libs/FSharpPlus/docsrc/tools/../content/type-all.fsx | |
Processing help: /home/adam/projects/libs/FSharpPlus/docsrc/tools/../content/tutorial.fsx | |
SourceError | |
((100, 0),(100, 3),Warning, | |
"Possible incorrect indentation: this token is offside of context started at position (99:1). Try indenting this token further or using standard formatting conventions.") | |
SourceError | |
((100, 0),(100, 3),Warning, | |
"Possible incorrect indentation: this token is offside of context started at position (99:1). Try indenting this token further or using standard formatting conventions.") | |
SourceError | |
((106, 0),(106, 3),Warning, | |
"Possible incorrect indentation: this token is offside of context started at position (99:1). Try indenting this token further or using standard formatting conventions.") | |
SourceError | |
((106, 0),(106, 3),Warning, | |
"Possible incorrect indentation: this token is offside of context started at position (99:1). Try indenting this token further or using standard formatting conventions.") | |
SourceError | |
((114, 0),(114, 3),Warning, | |
"Possible incorrect indentation: this token is offside of context started at position (99:1). Try indenting this token further or using standard formatting conventions.") | |
SourceError | |
((114, 0),(114, 3),Warning, | |
"Possible incorrect indentation: this token is offside of context started at position (99:1). Try indenting this token further or using standard formatting conventions.") | |
SourceError | |
((116, 0),(116, 3),Warning, | |
"Possible incorrect indentation: this token is offside of context started at position (99:1). Try indenting this token further or using standard formatting conventions.") | |
SourceError | |
((116, 0),(116, 3),Warning, | |
"Possible incorrect indentation: this token is offside of context started at position (99:1). Try indenting this token further or using standard formatting conventions.") | |
SourceError | |
((117, 0),(117, 3),Warning, | |
"Possible incorrect indentation: this token is offside of context started at position (99:1). Try indenting this token further or using standard formatting conventions.") | |
SourceError | |
((117, 0),(117, 3),Warning, | |
"Possible incorrect indentation: this token is offside of context started at position (99:1). Try indenting this token further or using standard formatting conventions.") | |
SourceError | |
((118, 0),(118, 3),Warning, | |
"Possible incorrect indentation: this token is offside of context started at position (99:1). Try indenting this token further or using standard formatting conventions.") | |
SourceError | |
((118, 0),(118, 3),Warning, | |
"Possible incorrect indentation: this token is offside of context started at position (99:1). Try indenting this token further or using standard formatting conventions.") | |
SourceError | |
((126, 0),(126, 3),Warning, | |
"Possible incorrect indentation: this token is offside of context started at position (99:1). Try indenting this token further or using standard formatting conventions.") | |
SourceError | |
((126, 0),(126, 3),Warning, | |
"Possible incorrect indentation: this token is offside of context started at position (99:1). Try indenting this token further or using standard formatting conventions.") | |
SourceError | |
((128, 0),(128, 3),Warning, | |
"Possible incorrect indentation: this token is offside of context started at position (99:1). Try indenting this token further or using standard formatting conventions.") | |
SourceError | |
((128, 0),(128, 3),Warning, | |
"Possible incorrect indentation: this token is offside of context started at position (99:1). Try indenting this token further or using standard formatting conventions.") | |
SourceError | |
((150, 0),(150, 4),Warning, | |
"Possible incorrect indentation: this token is offside of context started at position (99:1). Try indenting this token further or using standard formatting conventions.") | |
SourceError | |
((150, 0),(150, 4),Warning, | |
"Possible incorrect indentation: this token is offside of context started at position (99:1). Try indenting this token further or using standard formatting conventions.") | |
SourceError | |
((154, 0),(154, 3),Warning, | |
"Possible incorrect indentation: this token is offside of context started at position (99:1). Try indenting this token further or using standard formatting conventions.") | |
SourceError | |
((154, 0),(154, 3),Warning, | |
"Possible incorrect indentation: this token is offside of context started at position (99:1). Try indenting this token further or using standard formatting conventions.") | |
SourceError | |
((158, 0),(158, 3),Warning, | |
"Possible incorrect indentation: this token is offside of context started at position (99:1). Try indenting this token further or using standard formatting conventions.") | |
SourceError | |
((158, 0),(158, 3),Warning, | |
"Possible incorrect indentation: this token is offside of context started at position (99:1). Try indenting this token further or using standard formatting conventions.") | |
SourceError | |
((162, 0),(162, 3),Warning, | |
"Possible incorrect indentation: this token is offside of context started at position (99:1). Try indenting this token further or using standard formatting conventions.") | |
SourceError | |
((162, 0),(162, 3),Warning, | |
"Possible incorrect indentation: this token is offside of context started at position (99:1). Try indenting this token further or using standard formatting conventions.") | |
SourceError | |
((165, 0),(165, 3),Warning, | |
"Possible incorrect indentation: this token is offside of context started at position (99:1). Try indenting this token further or using standard formatting conventions.") | |
SourceError | |
((165, 0),(165, 3),Warning, | |
"Possible incorrect indentation: this token is offside of context started at position (99:1). Try indenting this token further or using standard formatting conventions.") | |
SourceError | |
((169, 0),(169, 3),Warning, | |
"Possible incorrect indentation: this token is offside of context started at position (99:1). Try indenting this token further or using standard formatting conventions.") | |
SourceError | |
((169, 0),(169, 3),Warning, | |
"Possible incorrect indentation: this token is offside of context started at position (99:1). Try indenting this token further or using standard formatting conventions.") | |
SourceError | |
((173, 0),(173, 3),Warning, | |
"Possible incorrect indentation: this token is offside of context started at position (99:1). Try indenting this token further or using standard formatting conventions.") | |
SourceError | |
((173, 0),(173, 3),Warning, | |
"Possible incorrect indentation: this token is offside of context started at position (99:1). Try indenting this token further or using standard formatting conventions.") | |
SourceError | |
((177, 0),(177, 3),Warning, | |
"Possible incorrect indentation: this token is offside of context started at position (99:1). Try indenting this token further or using standard formatting conventions.") | |
SourceError | |
((177, 0),(177, 3),Warning, | |
"Possible incorrect indentation: this token is offside of context started at position (99:1). Try indenting this token further or using standard formatting conventions.") | |
SourceError | |
((181, 0),(181, 3),Warning, | |
"Possible incorrect indentation: this token is offside of context started at position (99:1). Try indenting this token further or using standard formatting conventions.") | |
SourceError | |
((181, 0),(181, 3),Warning, | |
"Possible incorrect indentation: this token is offside of context started at position (99:1). Try indenting this token further or using standard formatting conventions.") | |
SourceError | |
((185, 0),(185, 3),Warning, | |
"Possible incorrect indentation: this token is offside of context started at position (99:1). Try indenting this token further or using standard formatting conventions.") | |
SourceError | |
((185, 0),(185, 3),Warning, | |
"Possible incorrect indentation: this token is offside of context started at position (99:1). Try indenting this token further or using standard formatting conventions.") | |
Processing help: /home/adam/projects/libs/FSharpPlus/docsrc/tools/../content/abstraction-alternative.fsx | |
SourceError | |
((107, 4),(107, 10),Error, | |
"Value restriction. The value 'res123' has been inferred to have generic type | |
val res123 : '_a list | |
Either define 'res123' as a simple data term, make it a function with explicit arguments or, if you do not intend for it to be generic, add a type annotation.") | |
SourceError | |
((2, 0),(2, 6),Error, | |
"Unexpected keyword 'static' in definition. Expected incomplete structured construct at or before this point or other token.") | |
Processing help: /home/adam/projects/libs/FSharpPlus/docsrc/tools/../content/abstraction-contravariant.fsx | |
SourceError | |
((82, 32),(82, 41),Error, | |
"The value or constructor 'fstIsEven' is not defined. Maybe you want one of the following: | |
isEven") | |
SourceError | |
((2, 0),(2, 6),Error, | |
"Unexpected keyword 'static' in definition. Expected incomplete structured construct at or before this point or other token.") | |
Processing help: /home/adam/projects/libs/FSharpPlus/docsrc/tools/../content/type-cont.fsx | |
Processing help: /home/adam/projects/libs/FSharpPlus/docsrc/tools/../content/applicative-functors.fsx | |
SourceError | |
((66, 11),(66, 14),Error, | |
"The value or constructor 'r06' is not defined. Maybe you want one of the following: | |
r01 | |
r02 | |
r03 | |
r05'") | |
SourceError | |
((75, 15),(75, 23),Warning, | |
"Incomplete pattern matches on this expression. For example, the value '3' may indicate a case not covered by the pattern(s).") | |
SourceError | |
((286, 5),(286, 10),Error, | |
"This declaration opens the module 'FSharpPlus.Async', which is marked as 'RequireQualifiedAccess'. Adjust your code to use qualified references to the elements of the module instead, e.g. 'List.map' instead of 'map'. This change will ensure that your code is robust as new constructs are added to libraries.") | |
Processing help: /home/adam/projects/libs/FSharpPlus/docsrc/tools/../content/type-readert.fsx | |
Processing help: /home/adam/projects/libs/FSharpPlus/docsrc/tools/../content/type-coproduct.fsx | |
Processing help: /home/adam/projects/libs/FSharpPlus/docsrc/tools/../content/abstraction-comonad.fsx | |
SourceError | |
((108, 13),(108, 16),Error,"The value or constructor 'ct3' is not defined.") | |
SourceError | |
((2, 0),(2, 6),Error, | |
"Unexpected keyword 'static' in definition. Expected incomplete structured construct at or before this point or other token.") | |
Processing help: /home/adam/projects/libs/FSharpPlus/docsrc/tools/../content/type-kleisli.fsx | |
Processing help: /home/adam/projects/libs/FSharpPlus/docsrc/tools/../content/type-dlist.fsx | |
Processing help: /home/adam/projects/libs/FSharpPlus/docsrc/tools/../content/type-const.fsx | |
Processing help: /home/adam/projects/libs/FSharpPlus/docsrc/tools/../content/generic-doc.fsx | |
SourceError | |
((44, 8),(44, 13),Error,"The value or constructor 'res12' is not defined.") | |
SourceError | |
((57, 10),(57, 20),Error, | |
"The value or constructor 'stateFul42' is not defined. Maybe you want one of the following: | |
StateT | |
State") | |
SourceError | |
((87, 25),(87, 36),Error, | |
"The type 'BigRational' is not defined in 'MathNet.Numerics'.") | |
Processing help: /home/adam/projects/libs/FSharpPlus/docsrc/tools/../content/abstraction-monad.fsx | |
SourceError | |
((156, 4),(156, 20),Error, | |
"Value restriction. The value 'getValidPassword' has been inferred to have generic type | |
[<Struct>] | |
val getValidPassword : ResultT< ^_a> when (Control.Return or ^_a) : (static member Return : ^_a * Control.Return -> Result<'_b,string> -> ^_a) and (Control.Bind or ^_c or ^_a) : (static member ( >>= ) : ^_c * (Result<'_b,int> -> ^_a) -> ^_a) and (Control.Bind or ^_a or ^_j) : (static member ( >>= ) : ^_a * (Result<'_k,'_l> -> ^_j) -> ^_j) and (Control.Return or ^_c) : (static member Return : ^_c * Control.Return -> Result<string,int> -> ^_c) and (Control.Delay or ^_c) : (static member Delay : Control.Delay * (unit -> ^_c) * Control.Delay -> ^_c) and (Control.Bind or ^_d or ^_c) : (static member ( >>= ) : ^_d * (Result<string,int> -> ^_c) -> ^_c) and (Control.Return or ^_d) : (static member Return : ^_d * Control.Return -> Result<'_e,'_f> -> ^_d) and (Control.Bind or ^_g or ^_d) : (static member ( >>= ) : ^_g * ('_e -> ^_d) -> ^_d) and (Control.Map or ^_g or ^_d) : (static member Map : ( ^_g * ('_h -> Result<'_h,'_i>)) * Control.Map -> ^_d) and (Control.LiftAsync or ^_g) : (static member LiftAsync : ^_g -> Async<string> -> ^_g) and (Control.Delay or ^_j) : (static member Delay : Control.Delay * (unit -> ^_j) * Control.Delay -> ^_j) and (Control.Return or ^_j) : (static member Return : ^_j * Control.Return -> Result<'_k,'_l> -> ^_j) and (Control.Bind or ^_m or ^_j) : (static member ( >>= ) : ^_m * (Result<unit,'_l> -> ^_j) -> ^_j) and (Control.Bind or '_r option or ^_j) : (static member ( >>= ) : '_r option * (Result<unit,'_l> -> ^_j) -> ^_j) and (Control.Return or ^_m) : (static member Return : ^_m * Control.Return -> Result<'_n,'_o> -> ^_m) and (Control.Bind or Async<unit> or ^_m) : (static member ( >>= ) : Async<unit> * ('_n -> ^_m) -> ^_m) and (Control.Map or Async<unit> or ^_m) : (static member Map : (Async<unit> * ('_p -> Result<'_p,'_q>)) * Control.Map -> ^_m) | |
Either define 'getValidPassword' as a simple data term, make it a function with explicit arguments or, if you do not intend for it to be generic, add a type annotation.") | |
SourceError | |
((164, 4),(164, 15),Error, | |
"Value restriction. The value 'askPassword' has been inferred to have generic type | |
[<Struct>] | |
val askPassword : ResultT< ^_a> when (Control.Delay or ^_a) : (static member Delay : Control.Delay * (unit -> ^_a) * Control.Delay -> ^_a) and (Control.Bind or ^_b or ^_a) : (static member ( >>= ) : ^_b * (Result<'_k,'_l> -> ^_a) -> ^_a) and (Control.Return or ^_a) : (static member Return : ^_a * Control.Return -> Result<'_k,'_l> -> ^_a) and (Control.Bind or ^_m or ^_a) : (static member ( >>= ) : ^_m * (Result<unit,'_l> -> ^_a) -> ^_a) and (Control.Bind or '_r option or ^_a) : (static member ( >>= ) : '_r option * (Result<unit,'_l> -> ^_a) -> ^_a) and (Control.Return or ^_b) : (static member Return : ^_b * Control.Return -> Result<'_c,string> -> ^_b) and (Control.Bind or ^_d or ^_b) : (static member ( >>= ) : ^_d * (Result<'_c,int> -> ^_b) -> ^_b) and (Control.Return or ^_d) : (static member Return : ^_d * Control.Return -> Result<string,int> -> ^_d) and (Control.Delay or ^_d) : (static member Delay : Control.Delay * (unit -> ^_d) * Control.Delay -> ^_d) and (Control.Bind or ^_e or ^_d) : (static member ( >>= ) : ^_e * (Result<string,int> -> ^_d) -> ^_d) and (Control.Return or ^_e) : (static member Return : ^_e * Control.Return -> Result<'_f,'_g> -> ^_e) and (Control.Bind or ^_h or ^_e) : (static member ( >>= ) : ^_h * ('_f -> ^_e) -> ^_e) and (Control.Map or ^_h or ^_e) : (static member Map : ( ^_h * ('_i -> Result<'_i,'_j>)) * Control.Map -> ^_e) and (Control.LiftAsync or ^_h) : (static member LiftAsync : ^_h -> Async<string> -> ^_h) and (Control.Return or ^_m) : (static member Return : ^_m * Control.Return -> Result<'_n,'_o> -> ^_m) and (Control.Bind or Async<unit> or ^_m) : (static member ( >>= ) : Async<unit> * ('_n -> ^_m) -> ^_m) and (Control.Map or Async<unit> or ^_m) : (static member Map : (Async<unit> * ('_p -> Result<'_p,'_q>)) * Control.Map -> ^_m) | |
Either define 'askPassword' as a simple data term, make it a function with explicit arguments or, if you do not intend for it to be generic, add a type annotation.") | |
SourceError | |
((2, 0),(2, 6),Error, | |
"Unexpected keyword 'static' in definition. Expected incomplete structured construct at or before this point or other token.") |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment