This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
➜ gt-dune git:(master) ✗ opam pin | |
aez.0.3 rsync file:///media/oldhome/kakadu/prog/asp/aez-0.3 | |
bitvector-mk.0.1.0 (uninstalled) git git+file:///media/oldhome/kakadu/prog/asp/bitvector-mk#master | |
github-workflow.~dev git git+https://github.com/patricoferris/opam-github-workflow.git | |
GT.0.4.2 git git+file:///media/oldhome/kakadu/prog/asp/gt-dune#master | |
lablqml.0.6.2 (uninstalled) git git+file:///media/oldhome/kakadu/prog/ocaml/lablqml#master | |
noCanren.0.2.0 git git+file:///media/oldhome/kakadu/prog/asp/noCanren#4.10 | |
ocaml-version.dev git git+https://github.com/ocurrent/ocaml-version | |
opam-github-workflow.~dev (uninstalled) git git+https://github.com/patricoferris/opam-github-workflow.git | |
pa_ppx.0.07 (uninstalled) git git+https://github.com/camlp5/pa_ppx.git |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
✗ find / -iname "*libgcc*" -xdev 2>/dev/null | |
/var/lib/dpkg/info/libgcc-s1:i386.md5sums | |
/var/lib/dpkg/info/libgcc-s1:i386.shlibs | |
/var/lib/dpkg/info/libgcc-s1:i386.symbols | |
/var/lib/dpkg/info/libgcc-s1:amd64.md5sums | |
/var/lib/dpkg/info/libgcc-s1:amd64.shlibs | |
/var/lib/dpkg/info/libgcc-s1:amd64.symbols | |
/var/lib/dpkg/info/libgcc-s1:amd64.triggers | |
/var/lib/dpkg/info/libgcc-s1:amd64.list | |
/var/lib/dpkg/info/libgcc-s1:i386.triggers |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
✗ CMAKE_MODULE_PATH=/home/kakadu/prog/qt/qt_off/6.0.1/gcc_64/lib/cmake/ cmake --find-package -DNAME="Qt6" -DCOMPILER_ID=GNU -DMODE=EXIST -DLANGUAGE=CXX | |
CMake Error at /usr/share/cmake-3.16/Modules/FindThreads.cmake:49 (message): | |
FindThreads only works if either C or CXX language is enabled | |
Call Stack (most recent call first): | |
/usr/share/cmake-3.16/Modules/CMakeFindDependencyMacro.cmake:47 (find_package) | |
/home/kakadu/prog/qt/qt_off/6.0.1/gcc_64/lib/cmake/Qt6/Qt6Dependencies.cmake:41 (find_dependency) | |
/home/kakadu/prog/qt/qt_off/6.0.1/gcc_64/lib/cmake/Qt6/Qt6Config.cmake:76 (include) | |
/usr/share/cmake-3.16/Modules/CMakeFindPackageMode.cmake:183 (find_package) |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
sealed trait AST | |
case class ConstInt(x: Int) extends AST | |
case class ConstDouble(x: Double) extends AST | |
case class SomethingElse() extends AST | |
type ¬[A] = A => Nothing | |
type ∨[T, U] = ¬[¬[T] with ¬[U]] | |
type ¬¬[A] = ¬[¬[A]] | |
type |∨|[T, U] = { type λ[X] = ¬¬[X] <:< (T ∨ U) } |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
# 0.03 New_merlin - run | |
changed directory to "/media/oldhome/kakadu/prog/asp/camlp5_pp_demo" | |
# 0.03 Mconfig - normalize | |
{ | |
"ocaml": { | |
"include_dirs": [], | |
"no_std_include": false, | |
"unsafe": false, | |
"classic": false, | |
"principal": false, |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
(env | |
(dev | |
(flags (:standard -rectypes -warn-error -A -w -33)) | |
)) | |
(library | |
(name lib1) | |
(modules lib1) | |
(preprocess (action | |
(run %{project_root}/rewriter.exe %{input-file}))) |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
➜ camlp5_odoc_demo git:(master) dune build @doc --verbose | |
Workspace root: /media/oldhome/kakadu/prog/asp/camlp5_odoc_demo | |
Running[0]: /usr/bin/nproc > /tmp/dune8bd514.output 2> /dev/null | |
Auto-detected concurrency: 4 | |
disable binary cache | |
Running[1]: /home/kakadu/.opam/4.10.1+fp+flambda/bin/ocamlc.opt -config > /tmp/dune59e34e.output | |
Dune context: | |
{ name = "default" | |
; kind = "default" | |
; profile = Dyn |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
open Angstrom | |
let rec fix_comb f a = f (fix_comb f) a | |
(* http://okmij.org/ftp/Computation/fixed-point-combinators.html#Poly-variadic *) | |
let fix_poly : | |
(('a -> 'b) list -> 'a -> 'b) list -> ('a -> 'b) list = | |
fun l -> | |
fix_comb | |
(fun self l -> List.map (fun li x -> li (self l) x) l) |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
module Types : sig | |
type ('a, 'b) tag = Parsed of 'a * 'b option | Failed of 'b option | |
type ('stream, 'parsed, 'error) result = ('parsed * 'stream, 'error) tag | |
val bind : ('stream, 'parsed, 'error) result -> ('parsed -> [`Ok of 'parsed' | `Fail of 'error]) -> ('stream, 'parsed', 'error) result | |
end = struct | |
type ('a, 'b) tag = Parsed of 'a * 'b option | Failed of 'b option | |
type ('stream, 'parsed, 'error) result = ('parsed * 'stream, 'error) tag | |
let bind _ _ = assert false |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
module TwoNilList = struct | |
open Helper | |
open OCanren | |
module L = struct | |
type ('a, 'self) t = Nil | Nil2 | Cons of 'a * 'self | |
[@@deriving gt ~options:{show; fmt; gmap}] | |
type 'a ground = ('a, 'a ground) t | |
[@@deriving gt ~options:{show;fmt; gmap}] | |
type 'a logic = ('a, 'a logic) t OCanren.logic |