Skip to content

Split Lin package #164

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 6 commits into from
Nov 16, 2022
Merged

Split Lin package #164

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
6 commits
Select commit Hold shift + click to select a range
731293f
Split up Lin modules to separate threads, domains and effects
shym Nov 14, 2022
6059efc
Fix Lin libraries after split
shym Nov 14, 2022
ddf2e9b
Adapt the multicore tests to the new Lin interface
shym Nov 14, 2022
1b4d477
Adapt the example Lin test to the new interface
shym Nov 15, 2022
0ddb5a9
Fix an occurrence of Lin_api in comment
shym Nov 15, 2022
fd1e200
Rename "Lin_api" into "Lin DSL" in test descriptions
shym Nov 15, 2022
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion doc/example/dune
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,7 @@
(executable
(name lin_tests_dsl)
(modules lin_tests_dsl)
(libraries qcheck-lin))
(libraries qcheck-lin.domain))


;; A model-based test of the stdlib Hashtbl library
Expand Down
6 changes: 3 additions & 3 deletions doc/example/lin_tests_dsl.ml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,7 +7,7 @@ struct
let init () = Hashtbl.create ~random:false 42
let cleanup _ = ()

open Lin_api
open Lin_base
let a,b = char_printable,nat_small
let api =
[ val_ "Hashtbl.add" Hashtbl.add (t @-> a @-> b @-> returning unit);
Expand All @@ -17,8 +17,8 @@ struct
val_ "Hashtbl.length" Hashtbl.length (t @-> returning int); ]
end

module HT = Lin_api.Make(HashtblSig)
module HT = Lin_domain.Make(HashtblSig)
;;
QCheck_base_runner.run_tests_main [
HT.lin_test `Domain ~count:1000 ~name:"Hashtbl DSL test";
HT.lin_test ~count:1000 ~name:"Hashtbl DSL test";
]
27 changes: 22 additions & 5 deletions lib/dune
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -23,11 +23,28 @@
(libraries threads qcheck-core STM_base))

(library
(name lin)
(wrapped false)
(public_name qcheck-lin)
(modules lin lin_api)
(libraries threads qcheck-core qcheck-core.runner qcheck-multicoretests-util))
(name lin_base)
(public_name qcheck-lin.base)
(modules lin_internal lin_common lin_base)
(libraries qcheck-core qcheck-core.runner qcheck-multicoretests-util))

(library
(name lin_domain)
(public_name qcheck-lin.domain)
(modules lin_domain)
(libraries qcheck-core qcheck-core.runner qcheck-multicoretests-util qcheck-lin.base))

(library
(name lin_effect)
(public_name qcheck-lin.effect)
(modules lin_effect)
(libraries qcheck-core qcheck-core.runner qcheck-multicoretests-util qcheck-lin.base))

(library
(name lin_thread)
(public_name qcheck-lin.thread)
(modules lin_thread)
(libraries threads qcheck-core qcheck-core.runner qcheck-multicoretests-util qcheck-lin.base))

(library
(name util)
Expand Down
325 changes: 0 additions & 325 deletions lib/lin.ml
View file
Open in desktop

This file was deleted.

3 changes: 3 additions & 0 deletions lib/lin_base.ml
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,3 @@
module Lin_internal = Lin_internal
module Lin_common = Lin_common
include Lin_common
Loading