unisonweb/unison
1
0
Fork 0
mirror of https://github.com/unisonweb/unison.git synced 2024-09-22 15:58:34 +03:00
Code Issues Projects Releases Wiki Activity
6,929 Commits 419 Branches 90 Tags 331 MiB
8813da9369
Commit Graph

175 Commits

Author SHA1 Message Date
Paul Chiusano
8813da9369 DisplayValues works with unannotated terms now 
This is prep for allowing the cache used by display to work with whole terms rather than just references
 2021-03-25 16:27:41 -05:00
Paul Chiusano
42bc5d55aa Merge remote-tracking branch 'origin/trunk' into topic/doc2 2021-03-15 15:34:58 -05:00
Paul Chiusano
f941687229
Merge pull request #1827 from nini-faroux/seq-list 2021-03-06 06:51:38 -06:00
Ian Grant Jeffries
7ee453af18 Add some Haddocks for key declarations 2021-03-04 18:14:23 -05:00
ninifaroux
f4b8e87258 add consistent list naming 2021-03-03 19:19:47 +00:00
Paul Chiusano
8465458625 sync with trunk 2021-03-02 10:20:28 -06:00
runarorama
dcc8954fe5 Revert Referent data constructors 2021-02-24 22:58:22 -05:00
runarorama
86b1330e0a Serve FQNs and "best name" along with definition. 2021-02-10 21:40:17 -05:00
Paul Chiusano
c834904a38 Implement (untested) TermParser changes 
Found a decent way of expressing so there's not much duplication between lexer and parser.
Still todo: example syntax, and make names consistent between lexer and parser
Still todo: syntax for docs on top level bindings
 2021-02-10 18:03:02 -06:00
runarorama
9f0c8061fe Merge branch 'trunk' of github.com:unisonweb/unison into topic/codebaseserver-openapi 2021-02-08 13:23:52 -05:00
Stew O'Connor
258ec6357f Add an Any parameter to the Failure type 2021-01-28 13:57:03 -08:00
runarorama
ba7e8c9f70 Merge branch 'trunk' of github.com:unisonweb/unison into topic/codebaseserver-openapi 2021-01-28 16:20:29 -05:00
runarorama
d1920dc2fe wip 2021-01-27 15:36:23 -05:00
Stew O'Connor
17fe0e6e19 Merge remote-tracking branch 'origin/trunk' into stew/tls-testing 2021-01-23 01:25:52 -08:00
Stew O'Connor
71aeeee669 tls tests are working woot 2021-01-23 00:57:23 -08:00
Dan Doel
ac9c4a48f1 First pass adding/implementing STM builtins 
- Not working as of yet
 2021-01-12 16:56:01 -05:00
runarorama
af091f3f07 Merge branch 'trunk' of github.com:unisonweb/unison into topic/codebaseserver-openapi 2021-01-08 11:40:52 -05:00
runarorama
c5bc998b03 Integrate backend into servant server 2021-01-08 11:39:54 -05:00
runarorama
3a1cf635b5 Merge branch 'trunk' of github.com:unisonweb/unison into topic/codebaseserver-openapi 2021-01-04 14:33:16 -05:00
Arya Irani
e2df2eff3e update trunk for ghc 8.10.2 2020-12-22 11:58:24 -05:00
Stew O'Connor
a648ac879f Merge remote-tracking branch 'origin/trunk' into stew/tls-testing 2020-12-15 11:45:38 -08:00
Stew O'Connor
8ab3574ff1 Add the ability to configure an altrernate TLS CertificateStore 2020-12-15 11:17:57 -08:00
Paul Chiusano
75c8d3a53c non-working Any type 2020-12-10 14:25:19 -05:00
runarorama
6a94460c0c Merge branch 'trunk' of github.com:unisonweb/unison into topic/codebaseserver-openapi 2020-12-09 21:36:37 -05:00
Paul Chiusano
6b94ab70c8
Merge pull request #1766 from unisonweb/fix/ability-unification 
A couple fixes to ability unification
 2020-12-07 14:10:32 -05:00
Stew O'Connor
d1d09d9197 Merge branch 'trunk' into feature/tls 2020-12-02 15:22:01 -08:00
Dan Doel
73ed824f89 Modify strategy for completing data/effect signatures 
- Previously we would complete data and effect signatures of
  the form:

    a -> b

  to ones of the form:

    a ->{e} b

  at use sites. Moreover, `e` would be a fresh unification variable for
  every use of the constructor/effect. This is clearly unsound.
- The new strategy completes to `a ->{} b`.
- Alternate strategies are possible, but they probably need to involve
  post-processing the declaration, rather than occurring at use-sites.
 2020-12-01 14:43:53 -05:00
runarorama
fcd6fa30f6 Merge branch 'trunk' of github.com:unisonweb/unison into topic/codebaseserver-openapi 2020-12-01 13:08:15 -05:00
Paul Chiusano
d706550926
Merge pull request #1748 from unisonweb/topic/mobile-code 
Finish implementing code serialization support
 2020-11-24 17:27:56 -05:00
Dan Doel
f4c0c6bf0c Avoid parsing data/effect patterns that don't make sense 
- The way of resolving constructors in patterns wasn't taking
  into account whether a data or ability constructor was expected,
  and was therefore sometimes parsing things like variables as
  data constructors with references to ability effects.
 2020-11-23 16:34:37 -05:00
Stew O'Connor
34c284cc72 more things working, starting a transcript 
- renamed many of the foreign calling confention functions

- fixed implementations of several IO functions

- added IO.createTempDirectory to create temporary directories which
  will be useful for testing

- started working on a transcript, but don't yet have a strategy for
  testing IO using transcripts
 2020-11-13 12:25:21 -08:00
Dan Doel
40e2db5722 Merge branch 'trunk' into topic/mobile-code 
- Fixes conflicts
 2020-11-10 14:14:25 -05:00
runarorama
cba4cf36de Merge branch 'trunk' of github.com:unisonweb/unison into topic/codebaseserver-openapi 2020-11-10 12:44:03 -05:00
Dan Doel
b027ad67b4 Add code serialization API 2020-11-09 17:28:07 -05:00
Stew O'Connor
3e75459fc1 Merge remote-tracking branch 'origin/trunk' into feature/tls 2020-10-27 09:14:01 -07:00
Stew O'Connor
0b6be82ea7 Added Tls.Config.defaultClient and Tls.Config.defaultServer 2020-10-26 13:03:18 -07:00
Paul Chiusano
e784107d64 Implement fix. There were lots of tests that were inadvertently relying on the bug. 2020-10-22 22:33:12 -04:00
runarorama
a54136a39a Merge branch 'trunk' of github.com:unisonweb/unison into topic/codebaseserver-openapi 2020-10-22 20:53:09 -04:00
Paul Chiusano
54b59c1a2d okay, not too shabby 2020-10-21 22:42:35 -04:00
Paul Chiusano
29e4d6dc5d Define sortNamed in terms of sortByText rather than the other way around 2020-10-16 17:47:22 -04:00
Paul Chiusano
f4c866e3cf fix #1542 2020-10-16 17:40:29 -04:00
Paul Chiusano
7b2a2384eb Corresponding pretty-printer changes. 
Moved some pretty-printer specific patterns and helper functions into TermPrinter
 2020-10-09 15:02:27 -04:00
runarorama
debd1bcf6c May as well rename HashQualified' everywhere 2020-10-09 14:46:54 -04:00
runarorama
2f3ec519f5 OpenAPI doesn't like names with ' in them 2020-10-09 14:24:57 -04:00
Paul Chiusano
8186cb11f7
Merge pull request #1712 from unisonweb/topic/basic-hashing 
Cryptographic primitives for hashing and HMAC
 2020-10-08 16:03:26 -04:00
mergify[bot]
136a0cc990
Merge pull request #1716 from unisonweb/topic/relax-var-constraint-on-hashComponent 
relax Var constraint on a few ABT functions
 2020-10-07 22:22:34 +00:00
Arya Irani
470e318659 relax Var constraint on a few ABT functions 2020-10-07 16:59:35 -04:00
runarorama
0c1f4008db Merge branch 'trunk' of github.com:unisonweb/unison into topic/codebaseserver 2020-10-06 14:24:21 -04:00
Paul Chiusano
1447b0a2cd Merge remote-tracking branch 'origin/trunk' into topic/hashing 2020-10-02 11:26:01 -04:00
Paul Chiusano
af9190ee22 simplify API - not supporting streaming hashing / hmac for now as serializing / decompiling the hash / hmac state is a can of worms 2020-10-02 11:02:24 -04:00