gfngfn / SATySFi

A statically-typed, functional typesetting system
GNU Lesser General Public License v3.0
1.18k stars 84 forks source link

Build error with core_kernel v0.13.1 #222

Closed yasuo-ozu closed 4 years ago

yasuo-ozu commented 4 years ago

Error msg:

# dune build
#       menhir src/parser.{ml,mli}
# Warning: 2 states have shift/reduce conflicts.
# Warning: 2 shift/reduce conflicts were arbitrarily resolved.
# File "src/backend/flowGraph.ml", line 8, characters 14-30:
# Error: Unbound module Core_kernel.Heap

source:

module Heap = Core_kernel.Heap
na4zagin3 commented 4 years ago

See #206 for the discussion about this and #207 would address this.

STNeeic commented 4 years ago

I've renamed Core_kernel.Heap to Core_kernel.Pairing_heap but still failed to build.

Error msg:

# dune build
#       menhir src/parser.{ml,mli}
...
# File "src/backend/flowGraph.ml", line 8, characters 14-38:
# Error: Unbound module Core_kernel.Pairing_heap

versions info

# Packages matching: installed
# Package                     # Installed   # Synopsis
base.v0.13.1                  v0.13.1       Full standard library replacement for OCaml
...
core_kernel.v0.13.1           v0.13.1       Industrial strength alternative to OCaml's standard library
...
ocaml.4.09.0                  4.09.0        The OCaml compiler (virtual package)
ocaml-base-compiler.4.09.0    4.09.0        Official release 4.09.0
na4zagin3 commented 4 years ago

@STNeeic You're correct. My solution was incomplete... See https://github.com/gfngfn/SATySFi/commit/5ff61ee02ec4c397813e5b2b9c02a7573f5d83b3.

STNeeic commented 4 years ago

Successfully installed. Thx All!