Closed QwertyJack closed 8 years ago
@QwertyJack It seems you don't install Core correctly. Do you mind pasting the output of opam list
?
Vani大哥你好呀~ 我觉得再过几年github.com就要被国人占领了~ 233
# Installed packages for system:
base-bigarray base Bigarray library distributed with the OCaml co
base-bytes base Bytes library distributed with the OCaml compi
base-ocamlbuild base OCamlbuild binary and libraries distributed wi
base-threads base Threads library distributed with the OCaml com
base-unix base Unix library distributed with the OCaml compil
bin_prot 113.33.00 A binary protocol generator
camomile 0.8.5 A comprehensive Unicode library
cmdliner 0.9.8 Declarative definition of command line interfa
conf-m4 1 Virtual package relying on m4
conf-ncurses 1 Virtual package relying on ncurses
conf-pkg-config 1.0 Virtual package relying on pkg-config installa
core 113.33.00 Industrial strength alternative to OCaml's sta
core_kernel 113.33.00 Industrial strength alternative to OCaml's sta
cppo 1.3.1 Equivalent of the C preprocessor for OCaml pro
depext 0.9.1 Query and install external dependencies of OPA
fieldslib 113.24.00 Syntax extension to define first class values
lambda-term 1.9 Terminal manipulation library for OCaml
lwt 2.5.1 A cooperative threads library for OCaml
menhir 20160303 LR(1) parser generator
ocamlbuild 0 Build system distributed with the OCaml compil
ocamlfind 1.6.2 A library manager for OCaml
omake 0.9.8.6-0.rc1 Build system designed for scalability and port
ounit 2.0.0 Unit testing framework loosely based on HUnit.
ppx_assert 113.33.00 Assert-like extension nodes that raise useful
ppx_bench 113.33.00 Syntax extension for writing in-line benchmark
ppx_bin_prot 113.33.00 Generation of bin_prot readers and writers fro
ppx_compare 113.33.00 Generation of comparison functions from types
ppx_core 113.33.00 Standard library for ppx rewriters
ppx_custom_printf 113.33.00 Printf-style format-strings for user-defined s
ppx_deriving 3.3 Type-driven code generation for OCaml >=4.02
ppx_driver 113.33.00 Feature-full driver for OCaml AST transformers
ppx_enumerate 113.33.00 Generate a list containing all values of a fin
ppx_expect 113.33.00 Cram like framework for OCaml
ppx_fail 113.33.00 Add location to calls to failwiths
ppx_fields_conv 113.33.00 Generation of accessor and iteration functions
ppx_here 113.33.00 Expands [%here] into its location
ppx_inline_test 113.33.00 Syntax extension for writing in-line tests in
ppx_jane 113.33.00 Standard Jane Street ppx rewriters
ppx_let 113.33.00 Monadic let-bindings
ppx_optcomp 113.33.00 Optional compilation for OCaml
ppx_pipebang 113.33.00 A ppx rewriter that inlines reverse applicatio
ppx_sexp_conv 113.33.00 Generation of S-expression conversion function
ppx_sexp_message 113.33.00 A ppx rewriter for easy construction of s-expr
ppx_sexp_value 113.33.00 A ppx rewriter that simplifies building s-expr
ppx_tools 4.02.3 Tools for authors of ppx rewriters and other s
ppx_type_conv 113.33.00 Support Library for type-driven code generator
ppx_typerep_conv 113.33.00 Generation of runtime types from type declarat
ppx_variants_conv 113.33.00 Generation of accessor and iteration functions
re 1.5.0 RE is a regular expression library for OCaml
react 1.2.0 Declarative events and signals for OCaml
result 1.2 Compatibility Result module
sexplib 113.33.00 Library for serializing OCaml values to and fr
typerep 113.24.00 typerep is a library for runtime types.
utop 1.18.2 Universal toplevel for OCaml
variantslib 113.24.00 Part of Jane Street's Core library
zed 1.4 Abstract engine for text edition in OCaml
@QwertyJack = =|| 你是怎么找到这里的,莫非你也是选了TAPL在写大作业么。
我怀疑你core没有安装正确,重新安装一下? 我在ubuntu上测试的是可以
我们叫dppl,我是p大的 ....... 你是upenn的? pierce那本类型理论fj那章有个习题给fj加个赋值语句,于是先来找fj 好难~
@QwertyJack 我直接用书名称呼它了(Types and Programming Languages)。 我是去年和你选了同一门课的学长,现在在P大大四。
我听tcfa说他似乎还认识你。 = = 你现在搞成功了么,要是还不行可以来加我微信细聊。
我擦绕了一圈居然你认识tcfa! 小杨助教说上学期只有一个同学交了19.4.3(莫非是你。。。);今年他说做这题有加分 有学长大腿抱自然是极好的(极度开心脸)
@QwertyJack =,= 你找tcfa要一下我微信吧... 感觉不太适合在这里发出来的样子
Hi there,
Ubuntu 14.04.4 x86_64 The OCaml toplevel, version 4.02.3 ocamlbuild 4.02.3 menhir, version 20160303
Build failed when running
corebuild -use-menhir main.native
:It seems something goes wrong.