File tree Expand file tree Collapse file tree 1 file changed +5
-5
lines changed
tests/test-dirs/syntax-document/language-extensions.t Expand file tree Collapse file tree 1 file changed +5
-5
lines changed Original file line number Diff line number Diff line change @@ -429,7 +429,7 @@ Convenience function to ensure we haven't made any syntax errors.
429429 > val id2 : (' a : value) -> ('a : value)
430430 > end
431431 > let f (x : (_ : value)) = (x : (_ : value))
432- > type t : nativeint mod everything
432+ > type t : float64 mod everything
433433 > EOF
434434
435435 $ syntax_errors kinds.ml
@@ -500,14 +500,14 @@ Convenience function to ensure we haven't made any syntax errors.
500500 Kind abbreviation
501501
502502 $ syn_doc_name kinds. ml 7 13
503- type t : nativeint mod everything
503+ type t : float64 mod everything
504504 ^
505- No documentation found
505+ Kind abbreviation
506506
507507 $ syn_doc_name kinds. ml 7 28
508- type t : nativeint mod everything
508+ type t : float64 mod everything
509509 ^
510- No documentation found
510+ Mode (in kind)
511511
512512// include functor
513513
You can’t perform that action at this time.
0 commit comments