mukul-rathi / bolt

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

Getting type errors when building #150

Open differentprogramming opened 2 years ago

differentprogramming commented 2 years ago

I'm guessing that we're in dependency hell and some included library has changed too much.

errors:

joshuascholar@DESKTOP-Q4CLN3U:~/bolt$ make build make pre-build make[1]: Entering directory '/home/joshuascholar/bolt' make[1]: Leaving directory '/home/joshuascholar/bolt' dune build 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 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 (alert deprecated): Core.sexp_list [since 2019-03] use [@sexp.list] instead File "src/frontend/typing/type_overloading.mli", line 29, characters 16-25: 29 | -> (type_expr sexp_list * type_expr) Or_error.t ^^^^^^^^^ Error (alert deprecated): Core.sexp_list [since 2019-03] use [@sexp.list] instead 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 make: *** [Makefile:9: build] Error 1

Two of those errors are easy to fix by replacing sexp_list with [@sexp.list] as it says but I have no idea what to do with the type errors.