Skip to content
Merged
Changes from 1 commit
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Add vsbsl lol
  • Loading branch information
cartermp committed Jul 5, 2019
commit 72503b9fcb489e631664a331bb4380f9a032b49c
12 changes: 6 additions & 6 deletions tests/fsharp/typecheck/sigs/neg113.vsbsl
Original file line number Diff line number Diff line change
Expand Up @@ -3,20 +3,20 @@ neg113.fs(5,50,5,61): typecheck error FS0001: Two anonymous record types have mi

neg113.fs(7,41,7,52): typecheck error FS0001: Two anonymous record types have mismatched sets of field names '["b"]' and '["a"]'

neg113.fs(10,27,10,55): typecheck error FS0059: The type '{|a : int|}' does not have any proper subtypes and need not be used as the target of a static coercion
neg113.fs(10,27,10,55): typecheck error FS0059: The type '{| a: int |}' does not have any proper subtypes and need not be used as the target of a static coercion

neg113.fs(10,27,10,55): typecheck error FS0193: Type constraint mismatch. The type
'{|b : int|}'
'{| b: int |}'
is not compatible with type
'{|a : int|}'
'{| a: int |}'


neg113.fs(13,27,13,62): typecheck error FS0059: The type '{|a : int|}' does not have any proper subtypes and need not be used as the target of a static coercion
neg113.fs(13,27,13,62): typecheck error FS0059: The type '{| a: int |}' does not have any proper subtypes and need not be used as the target of a static coercion

neg113.fs(13,27,13,62): typecheck error FS0193: Type constraint mismatch. The type
'{|a : int ; b : int|}'
'{| a: int; b: int |}'
is not compatible with type
'{|a : int|}'
'{| a: int |}'


neg113.fs(18,34,18,36): typecheck error FS0001: The type '('a -> 'a)' does not support the 'comparison' constraint. For example, it does not support the 'System.IComparable' interface
Expand Down