Rob Rix
|
da19e87b80
|
Depend on semilattices in the tests.
|
2018-06-15 11:40:26 -04:00 |
|
Rob Rix
|
bf06d928c9
|
Replace Data.Semilattice.Lower with semilattices.
|
2018-06-15 11:37:49 -04:00 |
|
Rob Rix
|
33064d0dbc
|
Add semilattices as a submodule.
|
2018-06-15 11:36:58 -04:00 |
|
Rob Rix
|
54ea58fd79
|
Move the proto3 packages down.
|
2018-06-15 11:06:26 -04:00 |
|
Rob Rix
|
430a4e1cfa
|
🔥 emptyEnv.
|
2018-06-15 11:05:19 -04:00 |
|
Rob Rix
|
4c46b951c7
|
Merge pull request #1966 from github/charliesome/remove-copies-in-declaration
Remove value copies in Data.Syntax.Declaration
|
2018-06-15 10:47:17 -04:00 |
|
Rob Rix
|
c3acc0e1ff
|
Merge branch 'master' into charliesome/remove-copies-in-declaration
|
2018-06-15 09:32:23 -04:00 |
|
Rob Rix
|
67700456d3
|
Merge pull request #1965 from github/assignment-api
Assignment API tweaks, part one
|
2018-06-15 09:31:41 -04:00 |
|
Rob Rix
|
02a9538f65
|
Merge branch 'master' into assignment-api
|
2018-06-15 09:03:37 -04:00 |
|
Charlie Somerville
|
b00423b043
|
pass through original address in If and Let
|
2018-06-15 13:07:36 +10:00 |
|
Charlie Somerville
|
89359de71d
|
return original address rather than boxing a copy
|
2018-06-15 11:52:22 +10:00 |
|
Rob Rix
|
7053028647
|
Merge pull request #1963 from github/charliesome/array-address
Store addresses in arrays and tuples rather than unboxed values
|
2018-06-14 16:02:30 -04:00 |
|
Rob Rix
|
11d887fdd2
|
📝 toTerm.
|
2018-06-14 14:53:14 -04:00 |
|
Rob Rix
|
3ef04bb17c
|
📝 leafNode.
|
2018-06-14 14:51:55 -04:00 |
|
Rob Rix
|
480549dd46
|
📝 branchNode.
|
2018-06-14 14:51:48 -04:00 |
|
Rob Rix
|
be464d49e2
|
Rename a bunch of parameters.
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
Co-Authored-By: Ayman Nadeem <aymannadeem@gmail.com>
|
2018-06-14 14:46:18 -04:00 |
|
Rob Rix
|
4206f1c183
|
🔥 the HasCallStack constraint.
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
Co-Authored-By: Ayman Nadeem <aymannadeem@gmail.com>
|
2018-06-14 14:42:15 -04:00 |
|
Rob Rix
|
a29c0dd9be
|
Redefine module' using toTerm/branchNode.
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
Co-Authored-By: Ayman Nadeem <aymannadeem@gmail.com>
|
2018-06-14 14:41:46 -04:00 |
|
Rob Rix
|
177be87acc
|
Redefine boolean using toTerm/branchNode/leafNode.
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
Co-Authored-By: Ayman Nadeem <aymannadeem@gmail.com>
|
2018-06-14 14:40:53 -04:00 |
|
Rob Rix
|
470a99df3b
|
Define a branchNode combinator.
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
Co-Authored-By: Ayman Nadeem <aymannadeem@gmail.com>
|
2018-06-14 14:39:42 -04:00 |
|
Rob Rix
|
ea0575b0b3
|
Define a leafNode combinator.
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
Co-Authored-By: Ayman Nadeem <aymannadeem@gmail.com>
|
2018-06-14 14:39:12 -04:00 |
|
Rob Rix
|
7c8a64c9fe
|
Define a toTerm combinator.
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
Co-Authored-By: Ayman Nadeem <aymannadeem@gmail.com>
|
2018-06-14 14:38:45 -04:00 |
|
Rob Rix
|
54cead00e5
|
Merge branch 'master' into charliesome/array-address
|
2018-06-14 11:43:11 -04:00 |
|
Charlie Somerville
|
96e26ce735
|
change arrays and tuples to hold addresses rather than unboxed values
|
2018-06-14 17:28:07 +10:00 |
|
Rob Rix
|
57126e7101
|
Merge pull request #1961 from github/circumvent-the-occurs-check
Circumvent the occurs check
|
2018-06-13 16:59:12 -04:00 |
|
Rob Rix
|
07e665d329
|
📝 GraphEff.
|
2018-06-13 16:55:07 -04:00 |
|
Rob Rix
|
db1fd87cef
|
Bump effects to master.
|
2018-06-13 16:52:18 -04:00 |
|
Rob Rix
|
31893e6ced
|
Bump effects for https://github.com/joshvera/effects/pull/54.
This requires us to specify the lists of effects fully.
|
2018-06-13 16:35:56 -04:00 |
|
Rob Rix
|
6a239acb35
|
🔥 redundant parens.
|
2018-06-13 16:26:25 -04:00 |
|
Rob Rix
|
3f09dab215
|
LoopControl doesn’t need its value parameter.
|
2018-06-13 16:07:20 -04:00 |
|
Rob Rix
|
69b3692de5
|
Return doesn’t need its value parameter.
|
2018-06-13 16:07:13 -04:00 |
|
Rob Rix
|
3a741e31f8
|
🔥 more redundant constraints.
|
2018-06-13 16:07:08 -04:00 |
|
Rob Rix
|
4010b3fb92
|
🔥 some redundant constraints.
|
2018-06-13 16:07:01 -04:00 |
|
Rob Rix
|
f390da293f
|
We don’t use TypeFamilies in this module any more.
|
2018-06-13 16:06:50 -04:00 |
|
Rick Winfrey
|
5d8a73ddf2
|
Merge pull request #1954 from github/haskell-assignment
Haskell assignment #7
|
2018-06-13 10:10:08 -07:00 |
|
Rick Winfrey
|
160a17c617
|
Merge branch 'master' into haskell-assignment
|
2018-06-13 09:59:56 -07:00 |
|
Patrick Thomson
|
724ffc06aa
|
Merge pull request #1955 from github/grpc-interface-design
Design out our gRPC interface
|
2018-06-13 12:59:26 -04:00 |
|
Rick Winfrey
|
8493ba7fee
|
Merge branch 'master' into haskell-assignment
|
2018-06-13 09:54:06 -07:00 |
|
Patrick Thomson
|
1fad107e42
|
Merge branch 'master' into grpc-interface-design
|
2018-06-13 12:49:27 -04:00 |
|
Patrick Thomson
|
93ec234800
|
Merge pull request #1959 from github/revert-1941-import-graph-mk2
Revert "gRPC import graph"
|
2018-06-13 12:42:48 -04:00 |
|
Rick Winfrey
|
823d34a987
|
Merge branch 'master' into haskell-assignment
|
2018-06-13 09:42:21 -07:00 |
|
Patrick Thomson
|
36d5b7562a
|
Revert "gRPC import graph"
|
2018-06-13 12:34:35 -04:00 |
|
Patrick Thomson
|
4d188d4e5f
|
Merge pull request #1941 from github/import-graph-mk2
gRPC import graph
|
2018-06-13 12:14:03 -04:00 |
|
Patrick Thomson
|
bb6a4b0a8a
|
last few fixes
|
2018-06-13 12:08:42 -04:00 |
|
Patrick Thomson
|
51e153aec5
|
Merge branch 'master' into import-graph-mk2
|
2018-06-13 11:28:44 -04:00 |
|
Timothy Clem
|
7fe5986863
|
Merge pull request #1949 from github/multi-stage-docker
Multi stage docker builds
|
2018-06-13 07:47:15 -07:00 |
|
Rob Rix
|
93f267de8c
|
Merge branch 'master' into multi-stage-docker
|
2018-06-13 09:00:30 -04:00 |
|
Rob Rix
|
1cef528344
|
Merge branch 'master' into haskell-assignment
|
2018-06-13 08:55:39 -04:00 |
|
Rob Rix
|
678c5c6e67
|
Merge branch 'master' into grpc-interface-design
|
2018-06-13 08:53:39 -04:00 |
|
Rob Rix
|
3e7d06f0a1
|
Merge pull request #1957 from github/bounded-queues
Bounded queues
|
2018-06-13 08:44:25 -04:00 |
|