test/extract_code/error.t/run.t at main

this repo has no description

odoc / test / extract_code / error.t / run.t

at main 10 lines 364 B view raw

wrap content

 1  $ echo "hello" > file.cmti
 2  $ odoc extract-code -o output.ml --line-directives file.cmti
 3  ERROR: Error while unmarshalling input file file.cmti:
 4  End_of_file
 5  Check that the input file is a valid cmti file
 6  [1]
 7  $ touch hello.ext
 8  $ odoc extract-code -o output.ml --line-directives hello.ext
 9  ERROR: Input must have either mld or cmti as extension
10  [1]