Skip to content

Instantly share code, notes, and snippets.

View shubhamkumar13's full-sized avatar
πŸ˜‘
is existing

shubham shubhamkumar13

πŸ˜‘
is existing
View GitHub Profile
@shubhamkumar13
shubhamkumar13 / dsl.scm
Created August 16, 2021 00:47
SDF dsl exercise
(define (spread-combine h f g)
(let ((n (get-arity f)) (m (get-arity g)))
(let ((t (+ n m)))
(define (the-combination . args)
(assert (= (length args) t))
(h (apply f (list-head args n))
(apply g (list-tail args n))
)
)
(restrict-arity the-combination t)
@shubhamkumar13
shubhamkumar13 / gencopy_error.log
Created August 4, 2021 18:17
error while using gencopy
(base) β”” ~/ocaml-migrate-parsetree M β€Ί π—ˆπ—‡ β€Ί experimental-414-trunk
β€Ί dune build tools/gencopy.exe
File "tools/gencopy.ml", line 79, characters 43-74:
79 | Pat.construct ?loc ?attrs (lid ?loc s) (may_tuple ?loc Pat.tuple args)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Error: This expression has type Parsetree.pattern option
but an expression was expected of type
(str list * Parsetree.pattern) option
Type Parsetree.pattern is not compatible with type
str list * Parsetree.pattern
@shubhamkumar13
shubhamkumar13 / omp.patch
Created August 4, 2021 12:27
omp_414_patch
diff --git a/src/ast_414.ml b/src/ast_414.ml
new file mode 100644
index 0000000..151fe2a
--- /dev/null
+++ b/src/ast_414.ml
@@ -0,0 +1,1033 @@
+(**************************************************************************)
+(* *)
+(* OCaml Migrate Parsetree *)
+(* *)
make: 'multicore_parallel_run_config_filtered.json' is up to date.
make: 'multicore_parallel_run_config_filtered_filtered.json' is up to date.
make: 'multicore_parallel_run_config_filtered_filtered_2domains.json' is up to date.
intervaltree is not installed. Install using pip3 install.
git log -n 1
commit a419843226837b55cae8482b489dedfd58ff8865
Author: Shakthi Kannan <[email protected]>
Date: Thu May 27 22:19:18 2021 +0530
56 benchmarks build for 4.13.0+trunk with dune.2.8.1
@shubhamkumar13
shubhamkumar13 / 414_domains_parallel.log
Last active July 29, 2021 14:16
414_trunk_sandmark_update_logs
make: 'multicore_parallel_run_config_filtered.json' is up to date.
make: 'multicore_parallel_run_config_filtered_filtered.json' is up to date.
make: 'multicore_parallel_run_config_filtered_filtered_2domains.json' is up to date.
intervaltree is not installed. Install using pip3 install.
git log -n 1
commit 1b6fa1fce3bd339e85b87a4e4a2d914072034620
Author: shubhamkumar13 <[email protected]>
Date: Wed Jul 28 14:25:52 2021 +0530
remove previous version of ocamlfind
<><> Error report <><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
β”Œβ”€ The following actions failed
β”‚ Ξ» build astring 0.8.5
β”‚ Ξ» build base64 3.4.0
β”‚ Ξ» build fmt 0.8.9
β”‚ Ξ» build mtime 1.2.0
β”‚ Ξ» build ocaml-migrate-parsetree 2.1.0+stock
β”‚ Ξ» build ocplib-endian 1.1
β”‚ Ξ» build react 1.2.1
β”‚ Ξ» build rresult 0.6.0
#=== ERROR while compiling uutf.1.0.2 =========================================#
# context 2.0.6 | linux/x86_64 | ocaml-base-compiler.4.14.0+trunk | file:///home/shubham/sandmark/dependencies
# path ~/sandmark/_opam/4.14.0+trunk/.opam-switch/build/uutf.1.0.2
# command ~/sandmark/_opam/4.14.0+trunk/bin/ocaml pkg/pkg.ml build --pinned false --with-cmdliner true
# exit-code 1
# env-file ~/sandmark/_opam/log/uutf-22013-249b10.env
# output-file ~/sandmark/_opam/log/uutf-22013-249b10.out
### output ###
# [...]
# Alert deprecated: Bytes.create
@shubhamkumar13
shubhamkumar13 / run_config.json
Created July 26, 2021 07:51
run config with coq benchmarks only
{
"wrappers": [
{
"name": "orun",
"command": "orun -o %{output} -- taskset --cpu-list 5 %{command}"
},
{
"name": "perfstat",
"command": "perf stat -o %{output} -- taskset --cpu-list 5 %{command}"
},
@shubhamkumar13
shubhamkumar13 / local_laptop.log
Created July 25, 2021 17:55
sandmark run on my local laptop testing coq
jq '{wrappers : .wrappers, benchmarks: [.benchmarks | .[] | select(.tags | index("macro_bench") != null)]}' < run_config.json > run_config_filtered.json
intervaltree is not installed. Install using pip3 install.
git log -n 1
commit f1d0104bd599efea109071db82c6a06808dc44ac
Merge: 9da9b70 1770b7d
Author: KC Sivaramakrishnan <[email protected]>
Date: Thu Jul 8 15:12:35 2021 +0530
Merge pull request #242 from Sudha247/grammatrix_commentary
@shubhamkumar13
shubhamkumar13 / navajo_turing_diff
Created July 24, 2021 11:14
diff navajo_vs_turing.log
https://www.diffchecker.com/mND2sMc6