Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Getting type errors when building #150

Open
differentprogramming opened this issue Jun 13, 2022 · 0 comments
Open

Getting type errors when building #150

differentprogramming opened this issue Jun 13, 2022 · 0 comments

Comments

@differentprogramming
Copy link

differentprogramming commented Jun 13, 2022

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.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant