Rob Rix
e9880781e5
Make sure we can load the Address module.
2018-05-30 09:51:08 -04:00
Rob Rix
f9b29f143e
And another.
2018-05-30 09:46:56 -04:00
Rob Rix
04b43477c9
🔥 a reference to Address in the spec.
2018-05-30 09:46:30 -04:00
Rob Rix
8fc1ccaa19
Merge branch 'recursive-type-families-are-not-our-friends' into 🔥 -galign
2018-05-29 12:49:29 -04:00
Rob Rix
dda2f9897b
Merge branch 'master' into 🔥 -galign
2018-05-29 12:48:34 -04:00
Rob Rix
81032f34ec
Whoops.
2018-05-29 12:26:36 -04:00
Rob Rix
f5572e41ca
Use Member instead of Members everywhere!
2018-05-29 12:09:09 -04:00
Rob Rix
54150552b3
Merge branch 'master' into 🔥 -galign
2018-05-29 08:53:37 -04:00
Rob Rix
6b780d297d
Revert "These are probably integers."
...
This reverts commit d2a74b2a4ca1472976abfccc09601c60840c1761.
2018-05-28 16:06:25 -04:00
Rob Rix
0f3c7df8d1
These are probably integers.
2018-05-28 16:05:03 -04:00
Rob Rix
038d3d07eb
Test the return values
2018-05-28 15:44:48 -04:00
Rob Rix
7b02e3e64f
Correct the EnvironmentError application.
2018-05-28 15:30:19 -04:00
Rob Rix
f0c220906a
Partially apply Eff in the tests.
2018-05-28 14:48:00 -04:00
Rob Rix
cc02cfd8eb
AbstractIntro is pure.
2018-05-28 14:47:42 -04:00
Rob Rix
89b90496b7
Don’t qualify this name.
2018-05-28 14:47:20 -04:00
Rob Rix
b3b47a34df
🔥 Goto.
2018-05-28 14:42:46 -04:00
Rob Rix
282c02fbbd
Embed the evaluating action into the closure body.
2018-05-28 14:11:08 -04:00
Rob Rix
a01e723b31
Run ValueErrors in TermEvaluator.
2018-05-28 09:55:01 -04:00
Rob Rix
015b74cf41
Give Value a term type parameter once more.
2018-05-28 09:35:42 -04:00
Rob Rix
a2135fda74
Don’t use overloaded lists.
2018-05-28 09:35:03 -04:00
Rob Rix
2993c3588c
Correct the specs.
2018-05-28 08:54:33 -04:00
Rob Rix
127ed8a26a
Merge branch 'master' into rearrange-value-ref-and-friends
2018-05-24 12:23:30 -04:00
Rob Rix
5ac256e340
🔨 fix the type in the spec
2018-05-24 12:09:20 -04:00
Rob Rix
eeb604569d
Merge branch 'master' into decompose-values
2018-05-24 09:11:19 -04:00
Rick Winfrey
3d70af57a4
Add blank file test fixture
2018-05-23 15:59:32 -07:00
Rick Winfrey
32619a8124
Add literal test fixtures
2018-05-23 15:55:26 -07:00
Patrick Thomson
7da61bd4c9
Merge branch 'master' into strict-equals
2018-05-23 11:33:32 -04:00
Patrick Thomson
eaa54a3230
Add strict-equality function.
...
TypeScript, JavaScript, and PHP support an === operator, which
corresponds to strict equality (usually the equality you want). I've
added a constructor to Comparison that takes care of this. Actually
implementing non-strict equality for the above languages will have to
wait until we can build behavior a la carte.
I chose not to add Ruby's case-equality operator, though it uses ===,
since the behavior is so different. (For example, a === a is not
always true over Ruby's ===).
2018-05-23 11:28:31 -04:00
Rob Rix
115e887739
Merge branch 'master' into decompose-values
2018-05-23 09:59:16 -04:00
Patrick Thomson
f563a2c808
forgot a do
2018-05-22 17:25:17 -04:00
Patrick Thomson
c8d5a8d231
add test for cancelling in-flight parsers
2018-05-22 17:01:17 -04:00
Patrick Thomson
949b9be418
add spec
2018-05-22 16:53:03 -04:00
Rob Rix
2cb425dbb5
Merge branch 'master' into decompose-values
2018-05-22 15:43:51 -04:00
Rob Rix
fb5b903af7
Merge branch 'master' into decompose-values
2018-05-22 08:44:54 -04:00
joshvera
dd123a0181
Merge remote-tracking branch 'origin/master' into grpc-server
2018-05-21 13:55:15 -04:00
joshvera
378dad0d69
Merge remote-tracking branch 'origin/master' into grpc-server
2018-05-21 12:33:22 -04:00
Timothy Clem
42af0faae6
New approach for linting
2018-05-21 08:17:11 -07:00
Rob Rix
18b2cfc89f
Merge branch 'master' into decompose-values
2018-05-18 14:14:55 -04:00
Rob Rix
5504b0b673
Add doctests for the Show output.
2018-05-18 14:03:42 -04:00
Rob Rix
c45802a809
Reformat defaultFiles.
2018-05-18 13:20:56 -04:00
Rob Rix
109dbd3b44
Fix the typescript spec.
2018-05-18 13:07:37 -04:00
Rob Rix
2ba726cb28
Fix a dodgy import.
2018-05-18 13:06:49 -04:00
Rob Rix
75d83155ec
Re-export the Name module.
2018-05-18 13:06:35 -04:00
Rob Rix
81951d7bcc
Fix the Listable instance for Name.
2018-05-18 13:05:46 -04:00
Rob Rix
ca6b32378e
Merge branch 'master' into allocator-effect
2018-05-18 11:09:20 -04:00
Josh Vera
053a158e59
Merge branch 'master' into update-fastsum
2018-05-18 10:44:08 -04:00
Rob Rix
6f3698122c
Merge branch 'master' into allocator-effect
2018-05-17 16:47:24 -04:00
Rob Rix
ad3f63ad74
Merge branch 'allocator-effect' into decompose-values
2018-05-17 16:46:58 -04:00
Timothy Clem
c2851c9d8a
Merge branch 'master' into package-dot-json-parsing
2018-05-17 08:02:29 -07:00
Timothy Clem
1cbccd5557
Merge branch 'master' into python-relative-imports
2018-05-17 07:55:33 -07:00