Rick Winfrey
|
8ab606654c
|
Update go test fixtures
|
2018-06-06 20:42:04 -07:00 |
|
Charlie Somerville
|
2fc9f1ca25
|
add type annotation to testEvaluating
|
2018-06-07 12:01:48 +10:00 |
|
Rick Winfrey
|
c9998e2ada
|
hlint suggestions
|
2018-06-06 17:17:59 -07:00 |
|
Rick Winfrey
|
bd43959cb0
|
Assign annotated type variables
|
2018-06-06 17:03:27 -07:00 |
|
Rick Winfrey
|
fc7c578b9b
|
Allow pragmas within gadt constructors
|
2018-06-06 16:58:54 -07:00 |
|
Rick Winfrey
|
a7795bca03
|
Assign qualified type constructor identifiers
|
2018-06-06 16:53:48 -07:00 |
|
Timothy Clem
|
0282529e88
|
Merge remote-tracking branch 'origin/master' into port-semiotic-http-interface
|
2018-06-06 16:22:49 -07:00 |
|
Timothy Clem
|
19f30f33cc
|
Pull port and host from environment
|
2018-06-06 16:17:44 -07:00 |
|
Rick Winfrey
|
8cb6d7ed0a
|
Release the kinds!
|
2018-06-06 15:41:57 -07:00 |
|
Timothy Clem
|
170cadfcbd
|
Remove some duplicate code
|
2018-06-06 15:16:01 -07:00 |
|
Timothy Clem
|
985ac4ade9
|
Custom logging and statting for http server
|
2018-06-06 15:09:25 -07:00 |
|
Rob Rix
|
511b02afa9
|
Merge pull request #1930 from github/no-more-fail-effect
No more Fail effect
|
2018-06-06 18:05:42 -04:00 |
|
Rick Winfrey
|
2e792df250
|
Assign fields within GADT constructors
|
2018-06-06 14:42:25 -07:00 |
|
Rob Rix
|
0011b909b3
|
Merge branch 'master' into no-more-fail-effect
|
2018-06-06 15:18:25 -04:00 |
|
Rob Rix
|
793555f38e
|
Merge pull request #1932 from github/java-assignment-text-fixtures
Java assignment text fixtures
|
2018-06-06 15:18:08 -04:00 |
|
Ayman Nadeem
|
89a6be151d
|
array access test
|
2018-06-06 11:31:22 -07:00 |
|
Ayman Nadeem
|
0913be8189
|
spread parameter test
|
2018-06-06 11:30:37 -07:00 |
|
Ayman Nadeem
|
4680c86cd4
|
wildcard + bounds test
|
2018-06-06 11:14:35 -07:00 |
|
Ayman Nadeem
|
e2f6b1eff1
|
add test for enum declaration with modifier
|
2018-06-06 11:09:15 -07:00 |
|
Ayman Nadeem
|
cf63da3cbf
|
add field access test
|
2018-06-06 11:06:16 -07:00 |
|
Rob Rix
|
f9a256d2a5
|
Merge branch 'master' into no-more-fail-effect
|
2018-06-06 13:32:37 -04:00 |
|
Rob Rix
|
3e4005ab65
|
Merge pull request #1931 from github/java-assignment-part-2
Java assignment continues...
|
2018-06-06 13:32:21 -04:00 |
|
Rob Rix
|
9a0ffdb794
|
Merge branch 'master' into java-assignment-part-2
|
2018-06-06 12:08:01 -04:00 |
|
Rob Rix
|
a9f1e0c34e
|
🔥 a redundant import.
|
2018-06-06 11:22:52 -04:00 |
|
Rob Rix
|
c74263d9d6
|
Revert "Variable lookup is total, failing when the Env effect is run instead."
This reverts commit b96aaffa19a548a0ff50c862460e1a12b4031e89.
|
2018-06-06 10:39:10 -04:00 |
|
Rob Rix
|
7657af6ed8
|
Revert "🔥 lookupOrAlloc."
This reverts commit bc28749e5f0c66601c7f1f280327c75073ba922f.
|
2018-06-06 10:37:29 -04:00 |
|
Rob Rix
|
83ee082259
|
Regenerate all of the affected fixtures.
|
2018-06-06 10:35:47 -04:00 |
|
Rob Rix
|
37ca14ff75
|
Correct the MemberAccess assignments for Go.
|
2018-06-06 10:31:04 -04:00 |
|
Rob Rix
|
3fc86616a5
|
We no longer define a constraint synonym.
|
2018-06-06 10:04:38 -04:00 |
|
Rob Rix
|
d93ce65861
|
🔥 the default signature for eval.
|
2018-06-06 10:00:50 -04:00 |
|
Rob Rix
|
0f2fa52db7
|
🔥 EvaluatableConstraints.
|
2018-06-06 09:58:00 -04:00 |
|
Rob Rix
|
351e819853
|
Don’t use EvaluatableConstraints to define evaluatePackageWith.
|
2018-06-06 09:57:02 -04:00 |
|
Rob Rix
|
6e5222948b
|
Give a type signature for reassociate.
|
2018-06-06 09:48:09 -04:00 |
|
Rob Rix
|
b6c8c3f236
|
Fix up the evaluator spec.
|
2018-06-06 09:46:12 -04:00 |
|
Rob Rix
|
45db2af4f8
|
Reassociate errors when typechecking in ghci.
|
2018-06-06 09:46:04 -04:00 |
|
Rob Rix
|
b19c381edb
|
🔥 the Fail effect.
|
2018-06-06 09:45:40 -04:00 |
|
Rob Rix
|
3d9e335221
|
🔥 reassociateTypes.
|
2018-06-06 09:44:27 -04:00 |
|
Rob Rix
|
a64efcf823
|
🔥 the Fail requirement.
|
2018-06-06 09:20:25 -04:00 |
|
Rob Rix
|
4003cd717d
|
Represent MemberAccess with a Name as its second field.
|
2018-06-06 09:20:15 -04:00 |
|
Rob Rix
|
3c5c0d8038
|
Rename unName to formatName.
|
2018-06-06 09:17:13 -04:00 |
|
Rob Rix
|
be619578ca
|
Merge branch 'java-assignment-part-2' into combined-allocator-and-env
|
2018-06-06 09:13:12 -04:00 |
|
Rob Rix
|
09ac444fbe
|
Don’t represent illegal cases.
|
2018-06-06 08:48:07 -04:00 |
|
Rob Rix
|
68a61bf1f4
|
Be specific about the operands to load.
|
2018-06-06 08:43:42 -04:00 |
|
Rob Rix
|
13854d7428
|
Rearrange PHP namespace evaluation to avoid a use of fail .
|
2018-06-06 08:38:05 -04:00 |
|
Rob Rix
|
85f3a6f0d6
|
🔥 a redundant import.
|
2018-06-06 08:33:49 -04:00 |
|
Rob Rix
|
c94a0be3d3
|
🔥 lookupOrAlloc.
|
2018-06-06 08:31:38 -04:00 |
|
Rob Rix
|
6fdf2c274e
|
Variable lookup is total, failing when the Env effect is run instead.
|
2018-06-06 08:22:42 -04:00 |
|
Rob Rix
|
946ac38f0d
|
Merge Control.Abstract.Configuration into Control.Abstract.Heap.
|
2018-06-06 08:04:58 -04:00 |
|
Rick Winfrey
|
a452136999
|
Assign simple GADTs
|
2018-06-05 16:01:56 -07:00 |
|
Rick Winfrey
|
4c162ab20d
|
Assign type signatures and function types
|
2018-06-05 16:01:37 -07:00 |
|