Skip to content

Backend: Factor out iterator infrastructure #274

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
nomeata merged 26 commits into from
Mar 29, 2019
Merged

Backend: Factor out iterator infrastructure #274

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
26 commits
Select commit Hold shift + click to select a range
87cebbb
Stash
nomeata Mar 26, 2019
a8c3bae
Also use the new code for the Array functions
nomeata Mar 26, 2019
c9911cc
Move more code into `Iterators.define`
nomeata Mar 26, 2019
8b73200
More simplifications
nomeata Mar 26, 2019
d43084d
Get rid of Array.common_funcs
nomeata Mar 26, 2019
7269384
No Text.common_funcs either
nomeata Mar 26, 2019
9a7bf93
Do not pass `get_res` to `len_UTF8_head`
nomeata Mar 26, 2019
45718a2
Further simplify len_UTF8_head
nomeata Mar 26, 2019
d0c501e
Move text-iter.as to run-dfinity
nomeata Mar 26, 2019
8f15ab6
Temporarily switch dev to gabor’s branch
nomeata Mar 26, 2019
1a70c71
Update nary async
nomeata Mar 26, 2019
749a6e8
https://github.com/dfinity-lab/dev/pull/697 got merged into dev
nomeata Mar 26, 2019
8af45d6
Update text iter output
nomeata Mar 26, 2019
086cd5b
comment
nomeata Mar 26, 2019
5dc7d9a
Remove only once-used wrapper around len_UTF8_head
nomeata Mar 26, 2019
3908f29
Disable parts of nary-async
nomeata Mar 26, 2019
2db691b
More refactoring: under → if_under
nomeata Mar 26, 2019
210f0e9
Try using https://github.com/dfinity-lab/dev/pull/707
nomeata Mar 26, 2019
c6955fc
Remote duplicate comment
nomeata Mar 26, 2019
115fcaa
Another simplification of len_UTF8_head
nomeata Mar 26, 2019
b9b7613
Go to master
nomeata Mar 27, 2019
5f892a7
Tickle hydra
nomeata Mar 27, 2019
e55c68d
Update dev master again
ninegua Mar 27, 2019
ebad7bb
Update src/compile.ml
nomeata Mar 29, 2019
82bbffa
Update src/compile.ml
ggreif Mar 29, 2019
ca39cda
Merge branch 'master' into joachim/iter-refactor
nomeata Mar 29, 2019
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 default.nix
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -36,7 +36,7 @@ let real-dvm =
let dev = builtins.fetchGit {
url = "ssh://git@github.com/dfinity-lab/dev";
ref = "master";
rev = "55724569782676b1e08fdce265b7daddaeaec860";
rev = "2837f4eaca887143bd08bc9341a7209f6dec42bc";
}; in
(import dev {}).dvm
else null
Expand Down
Loading