Skip to content

add dialyzer targets#89

Merged
rzezeski merged 2 commits intomasterfrom
rz-add-dialyzer-targets
May 22, 2013
Merged

add dialyzer targets#89
rzezeski merged 2 commits intomasterfrom
rz-add-dialyzer-targets

Conversation

@rzezeski
Copy link
Contributor

  • Add dialyzer targets: build_plt, dialyzer and clean_plt.
  • Fix obvious type mistake (change record() to tuple()).

There are some dialyzer errors but I didn't attempt to fix them because I don't have the time to parse the bitcask code and determine the semantics.

rzezeski added 2 commits May 22, 2013 16:21
The original author of this spec used the type `record()` but I'm
pretty sure `tuple()` was intended as a record is really just a tuple
at runtime.
@slfritchie
Copy link
Contributor

+1, thanks!

rzezeski added a commit that referenced this pull request May 22, 2013
@rzezeski rzezeski merged commit 1bbb5ec into master May 22, 2013
@engelsanchez engelsanchez deleted the rz-add-dialyzer-targets branch March 28, 2014 15:19
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants