Skip to content
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

search #23

Open
wants to merge 12 commits into
base: gh-pages
Choose a base branch
from
Open

search #23

Show file tree
Hide file tree
Changes from 11 commits
Commits
Show all changes
12 commits
Select commit Hold shift + click to select a range
6acbe96
search
kedashoe Jan 30, 2017
6e24452
refactoring
davidchambers Apr 15, 2017
11b47db
[email protected]
davidchambers Apr 17, 2017
71d3b85
[email protected]
davidchambers Apr 19, 2017
b133339
[email protected]
davidchambers Apr 21, 2017
b556b1c
show everything when searching for ""
davidchambers Apr 22, 2017
03345c4
remove $prevSearch optimization
davidchambers Apr 22, 2017
de62ed2
add search/index.html
davidchambers Apr 22, 2017
37df703
[email protected]
davidchambers Apr 24, 2017
4a95614
move search functionality to /search/
davidchambers Apr 24, 2017
340bd9e
remove unused file
davidchambers Apr 24, 2017
551a2c5
[email protected]
davidchambers Apr 25, 2017
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
9 changes: 8 additions & 1 deletion Makefile
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,10 +1,11 @@
BROWSERIFY = node_modules/.bin/browserify
ESLINT = node_modules/.bin/eslint
NPM = npm

CUSTOM = $(shell find custom -name '*.md' | sort)
VENDOR = ramda sanctuary sanctuary-def sanctuary-type-classes sanctuary-type-identifiers
VENDOR_CHECKS = $(patsubst %,check-%-version,$(VENDOR))
FILES = favicon.png index.html $(patsubst %,vendor/%.js,$(VENDOR))
FILES = favicon.png index.html js/hm-search.js js/signatures.sanctuary.js $(patsubst %,vendor/%.js,$(VENDOR))


.PHONY: all
Expand All @@ -22,6 +23,12 @@ vendor/ramda.js: node_modules/ramda/dist/ramda.js
vendor/%.js: node_modules/%/index.js
cp '$<' '$@'

js/hm-search.js: node_modules/hindley-milner-search/hm-search.js Makefile
$(BROWSERIFY) --standalone HMS -- '$<' >'$@'
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

It would be nice if a browser build were available. This is related to kedashoe/hindley-milner-parser-js#1.

Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

browser standalone files included in v0.2.3. You should see hms.js and hms.min.js now. Exported as HMS as you did.

Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Excellent! I've updated the makefile to simply copy hms.js, so we no longer depend on Browserify. :)


js/signatures.%.js: node_modules/%/index.js Makefile
( echo "window['signatures/$*'] = [" && sed -n "s!^ *//# \(.*\)! '\1',!p" '$<' && echo "];" ) >'$@'


.PHONY: $(VENDOR_CHECKS)
$(VENDOR_CHECKS): check-%-version:
Expand Down
Loading