Various fixes

C: Don't print usage message and quit when called with no arguments,
as this is used for testing C output

OCaml: Fix generation of datatypes with multiple type arguments

OCaml: Generate P_cons pattern correctly

C: Fix constant propagation to not propagate letbindings with type
annotations. This behaviour could cause type errors due to how type
variables are introduced. Now we only propagate letbindings when the
type of the propagated variable is guaranteed to be the same as the
inferred type of the binding.

Tests: Add OCaml tests to the C end-to-end tests (which really
shouldn't be in test/c/ any more, something like test/compile might be
better). Currently some issues with reals there like interpreter.

Tests: Rename list.sail -> list_test.sail because ocaml doesn't want
to compile files called list.ml.

0 files changed, 0 insertions, 0 deletions