Git Product home page Git Product logo

stlc-ocaml's People

Contributors

colinxy avatar onionhoney avatar

Stargazers

 avatar  avatar  avatar  avatar  avatar

Watchers

 avatar  avatar  avatar

Forkers

depted

stlc-ocaml's Issues

jbuilder build fails in file "test.ml"

After installing all the dependencies, with opam install core ppx_jane menhir and jbuilder external-lib-deps --missing test.exe,

$ jbuilder build test.exe
      menhir stlc.{ml,mli}
Warning: 6 states have shift/reduce conflicts.
Warning: one state has reduce/reduce conflicts.
Warning: 42 shift/reduce conflicts were arbitrarily resolved.
Warning: 9 reduce/reduce conflicts were arbitrarily resolved.
      ocamlc .test.eobjs/test.{cmi,cmo,cmt} (exit 2)
(cd _build/default && /usr/bin/ocamlc.opt -w -40 -g -bin-annot -I /home/colinxy/.opam/default/lib/base -I /home/colinxy/.opam/default/lib/base/caml -I /home/colinxy/.opam/default/lib/base/md5 -I /home/colinxy/.opam/default/lib/base/shadow_stdlib -I /home/colinxy/.opam/default/lib/bin_prot -I /home/colinxy/.opam/default/lib/bin_prot/shape -I /home/colinxy/.opam/default/lib/core -I /home/colinxy/.opam/default/lib/core_kernel -I /home/colinxy/.opam/default/lib/core_kernel/base_for_tests -I /home/colinxy/.opam/default/lib/fieldslib -I /home/colinxy/.opam/default/lib/jane-street-headers -I /home/colinxy/.opam/default/lib/ppx_assert/runtime-lib -I /home/colinxy/.opam/default/lib/ppx_bench/runtime-lib -I /home/colinxy/.opam/default/lib/ppx_compare/runtime-lib -I /home/colinxy/.opam/default/lib/ppx_expect/collector -I /home/colinxy/.opam/default/lib/ppx_expect/common -I /home/colinxy/.opam/default/lib/ppx_expect/config -I /home/colinxy/.opam/default/lib/ppx_hash/runtime-lib -I /home/colinxy/.opam/default/lib/ppx_inline_test/config -I /home/colinxy/.opam/default/lib/ppx_inline_test/runtime-lib -I /home/colinxy/.opam/default/lib/sexplib -I /home/colinxy/.opam/default/lib/sexplib/0 -I /home/colinxy/.opam/default/lib/sexplib/unix -I /home/colinxy/.opam/default/lib/spawn -I /home/colinxy/.opam/default/lib/stdio -I /home/colinxy/.opam/default/lib/typerep -I /home/colinxy/.opam/default/lib/variantslib -I /usr/lib64/ocaml/threads -no-alias-deps -I .test.eobjs -o .test.eobjs/test.cmo -c -impl test.pp.ml)
File "test.ml", line 63, characters 4-8:
Error: The function applied to this argument has type
         ?readme:(unit -> string) -> Core__Command.t
This argument cannot be applied without label

Related version info

$ uname -a
Linux *ip redacted* 4.15.8-300.fc27.x86_64 #1 SMP Fri Mar 9 18:11:36 UTC 2018 x86_64 x86_64 x86_64 GNU/Linux
$ ocaml --version
The OCaml toplevel, version 4.05.0
$ opam --version
2.0.0~beta6

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    ๐Ÿ–– Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. ๐Ÿ“Š๐Ÿ“ˆ๐ŸŽ‰

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google โค๏ธ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.