zoukankan      html  css  js  c++  java
  • OCaml相关

    1、open Core.Std 时报Unbound module Core
    先安装库

    $ opam init
    $ opam install core
    $ opam install utop
    

    在~/.ocamlinit头部添加下面代码

    #use "topfind"
    #camlp4o
    #thread
    #require "core.top"
    #require "core.syntax"
    

    到这里后还是不行,后来想起系统很久没关机了,重启了一下系统就一切OK了

    2、调试
    ocamlopt编译的是native程序,ocamlc -g编译出的是带调试信息的字节码程序,使用ocamldebug可以调试它
    调试命令

    命令 说明
    run 运行
    reverse 反向运行 ....
    step [count] 单步,进入函数调用
    backstep [count] 回退一步,进入函数调用
    next [count] 单步,跳过函数调用
    previous [count] 回退,跳过函数调用
    finish 运行直到当前函数返回
    start 反向运行直到函数开始位置
    kill 结束程序执行
    break function
    break @main 94 在main.ml的94行下断点
    break @ [module] # character
    info breakpoints 显示所有断点
    delete [breakpoint-numbers] 删除断点。注意:如果没有参数,所有断点都被删除
    backtrace [count], bt [count] 栈回溯
    frame 当前栈
    print variables
    display variables

    命令可以只写一部分,比如s代表step,n代表next
    更多命令请看:
    https://caml.inria.fr/pub/docs/manual-ocaml/debugger.html#sec388

  • 相关阅读:
    [ARC080D] Prime Flip
    硬币游戏
    点分治
    OneInDark对众数的爱
    [CF838D] Airplane Arrangements
    网络流总结(转载)
    二分图最大权完美匹配(KM)
    网络流
    FWT
    FFT & NTT
  • 原文地址:https://www.cnblogs.com/woswod/p/8561919.html
Copyright © 2011-2022 走看看