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

Smaller closure #4385

Merged
merged 30 commits into from
Apr 2, 2018
Merged

Smaller closure #4385

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
30 commits
Select commit Hold shift + click to select a range
d16e78f
Smaller closure
jacereda Mar 18, 2018
d6b2be4
Try to fix Windows build
jacereda Mar 19, 2018
300a686
Recompile everything when a header changes
jacereda Mar 19, 2018
9904389
Avoid indirection for strings and take advantage of the 8 bytes in th…
jacereda Mar 19, 2018
5ff3350
Heap allocations no longer preceded by allocation size field
jacereda Mar 19, 2018
807f009
Simplify
jacereda Mar 19, 2018
4698b9a
Use a common header instead of a union
jacereda Mar 19, 2018
ba2a9b6
Get rid of bitfields
jacereda Mar 20, 2018
1b6dd31
Remove unused header
jacereda Mar 20, 2018
7512498
Add u8/u16 fields to header, use u8 for marking null strings
jacereda Mar 20, 2018
11130b1
Bad shift on 32-bit architectures
jacereda Mar 22, 2018
1af584d
Faster nix-shell invocation
jacereda Mar 22, 2018
3be07b0
Avoid indirections for nullaries, refactorized locked/unlocked variants
jacereda Mar 22, 2018
8d986bb
Workaround possible bug in x86 gcc-7.3.0
jacereda Mar 22, 2018
46ab7c8
Warning on x86 gcc, removed redundant macro
jacereda Mar 22, 2018
425700d
Allow overriding IDRIS via environment variable
jacereda Mar 23, 2018
25baedb
Read idris executable from environment variable
jacereda Mar 23, 2018
17d7e9b
Remove debugging stuff
jacereda Mar 25, 2018
d2c207c
Use cc instead of gcc on non-windows platforms
jacereda Mar 25, 2018
139ebb7
Use $CC instead of gcc
jacereda Mar 29, 2018
fe8ea07
Clean up tabs
jacereda Apr 1, 2018
7ad70c8
Untabify, clean up indentation
jacereda Apr 1, 2018
549e40f
Clean up indentation
jacereda Apr 1, 2018
ea21a05
Untabify
jacereda Apr 1, 2018
0ea2a09
Remove some redundant casts
jacereda Apr 1, 2018
3b8412d
Remove -g
jacereda Apr 1, 2018
cdeea74
Align to pointer size
jacereda Apr 1, 2018
8ce876c
Remove _null macro
jacereda Apr 1, 2018
ad2a756
Use hdr.u16 to store arity
jacereda Apr 1, 2018
3d0168f
Remove arity field from Con struct
jacereda Apr 1, 2018
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
5 changes: 3 additions & 2 deletions benchmarks/build.pl
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,13 +2,14 @@

$bmarks = `cat ALL`;
@bm = split(/\n/, $bmarks);
$idris = $ENV{'IDRIS'} || "idris";

foreach $b (@bm) {
if ($b =~ /([a-zA-Z0-9]+)\/([a-zA-Z0-9]+)\s+(.*)/) {
print "Building $1 / $2\n";
chdir $1;
system("idris --clean $2.ipkg");
system("idris --build $2.ipkg") == 0 or die "Unable to build $2: $?";
system("$idris --clean $2.ipkg");
system("$idris --build $2.ipkg") == 0 or die "Unable to build $2: $?";
chdir "..";
}
}
2 changes: 1 addition & 1 deletion libs/base/Makefile
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
IDRIS := idris
IDRIS ?= idris
PKG := base

build:
Expand Down
2 changes: 1 addition & 1 deletion libs/contrib/Makefile
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
IDRIS := idris
IDRIS ?= idris
PKG := contrib

build:
Expand Down
2 changes: 1 addition & 1 deletion libs/effects/Makefile
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
IDRIS := idris
IDRIS ?= idris
PKG := effects

build:
Expand Down
2 changes: 1 addition & 1 deletion libs/prelude/Makefile
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
IDRIS := idris
IDRIS ?= idris
PKG := prelude

build:
Expand Down
2 changes: 1 addition & 1 deletion libs/pruviloj/Makefile
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
IDRIS := idris
IDRIS ?= idris
PKG := pruviloj

build:
Expand Down
2 changes: 1 addition & 1 deletion rts/Makefile
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -40,6 +40,6 @@ install :
clean :
rm -f $(OBJS) $(LIBTARGET) $(DYLIBTARGET)

idris_rts.o: idris_rts.h
$(OBJS): $(HDRS)

.PHONY: build install clean
Loading