mukul-rathi / bolt

Bolt is a language with in-built data-race freedom!
MIT License
546 stars 53 forks source link

Build problem: Error: Unbound type constructor sexp_list #152

Closed philtomson closed 1 year ago

philtomson commented 1 year ago

I got all of the prerequisite packages installed and then tried to do a make build and I get the following errors:

$ make build make pre-build make[1]: Entering directory '/home/phil/build/bolt' make[1]: Leaving directory '/home/phil/build/bolt' dune build File "src/frontend/typing/type_env.mli", line 57, characters 37-46: 57 | type_expr -> Parsed_ast.class_defn sexp_list -> string -> unit Or_error.t ^^^^^^^^^ Error: Unbound type constructor sexp_list File "src/frontend/typing/type_overloading.mli", line 29, characters 16-25: 29 | -> (type_expr sexp_list * type_expr) Or_error.t ^^^^^^^^^ Error: Unbound type constructor sexp_list File "tests/frontend/alcotest/parsing/test_lexer.ml", line 8, characters 56-62: 8 | Alcotest.testable pprint_tokens (fun token1 token2 -> token1 = token2) ^^^^^^ Error: This expression has type token but an expression was expected of type int File "src/frontend/typing/pprint_tast.ml", line 97, characters 5-15: 97 | if block_name = "" then List.iter ~f:(pprint_expr ppf ~indent) exprs ^^^^^^^^^^ Error: This expression has type string but an expression was expected of type int make: *** [Makefile:9: build] Error 1

This is with OCaml 5.0.0

philtomson commented 1 year ago

Sorry, looks like this is supposed to be built with ocaml version < 4.11