unisonweb/unison
1
0
Fork 0
mirror of https://github.com/unisonweb/unison.git synced 2024-10-05 14:17:33 +03:00
Code Issues Projects Releases Wiki Activity
2,899 Commits 425 Branches 92 Tags 407 MiB
802e4f0419
Commit Graph

2899 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Paul Chiusano
802e4f0419 Merge remote-tracking branch 'origin/topic/codebase-editor' into wip/refrefactor 2018-10-24 10:13:46 -04:00
Paul Chiusano
f94330b0a5 wip refactoring Reference to allow a Ref to refer to a cycle 2018-10-24 10:13:29 -04:00
Arya Irani
9c04dbdc86 formatting bugs 2018-10-23 22:17:01 -04:00
Arya Irani
c2d60eb728 Merge remote-tracking branch 'origin/topic/codebase-editor' into topic/codebase-editor 2018-10-23 21:55:26 -04:00
Arya Irani
4c96b92bca wrapping up first draft of Menu.menu1 and groupMenu1 2018-10-23 21:54:05 -04:00
Paul Chiusano
55aafdc237 Merge branch 'wip/hashComponents' into topic/codebase-editor 2018-10-23 21:38:20 -04:00
Paul Chiusano
cc70589fd7 a bit of docs on ABT.hashComponents 2018-10-23 21:37:56 -04:00
Arya Irani
7a985be04f Merge branch 'topic/codebase-editor' into topic/menu 2018-10-23 19:08:28 -04:00
Paul Chiusano
54b2723a18 generic ABT.hashComponents function 2018-10-23 18:33:18 -04:00
Arya Irani
81e791067f menu wip 2018-10-23 18:15:56 -04:00
Paul Chiusano
2c678a6918 wip factoring out logic for hashing strongly connected components 2018-10-23 17:38:58 -04:00
Paul Chiusano
ac5f973efc Add ABT.hashComponent, to be used for hashing a strongly connected component 2018-10-23 17:16:29 -04:00
Paul Chiusano
8b63f9097d menu signature changes 2018-10-23 14:04:50 -04:00
Paul Chiusano
9e010cd70d Merge remote-tracking branch 'origin/topic/menu' into topic/codebase-editor 2018-10-23 13:59:16 -04:00
Arya Irani
f97c371dd0 promote some ColorText helper functions 2018-10-23 11:48:58 -04:00
Arya Irani
9b708bc374 updated signatures in Menu 2018-10-23 11:47:29 -04:00
Paul Chiusano
f33d6815c7 top level components have types in v rather than TypeVar v 
TypeVar is just an implementation detail of the typechecker and is used for types that may have unbound existentials. Top level definitions can't have unbound existentials as they aren't nested inside of any other definitions. Added helper functions `Type.toTypeVar/generalizeAndUnTypeVar` and `Term.unTypeVar` used for converting to and from terms / types in `v` vs `TypeVar v`.
 2018-10-23 11:36:02 -04:00
Paul Chiusano
af83ed6903 delete unused Session type for now 2018-10-23 11:31:20 -04:00
Arya Irani
83e5f69911 auto-generate Monoid instances in AnnotatedText 2018-10-23 11:13:50 -04:00
Runar Bjarnason
ce2bef7185 Merge branch 'topic/codebase-editor' of github.com:unisonweb/unison into topic/codebase-editor 2018-10-23 09:46:03 -04:00
Runar Bjarnason
5482037ade Fixed gitignore syntax error 2018-10-23 09:45:46 -04:00
Paul Chiusano
0bc58352bb stubbed out menu interface 2018-10-23 09:45:39 -04:00
Paul Chiusano
38710c71e7 refactored component printing to be more reusable and started on add command 2018-10-22 16:22:28 -04:00
Paul Chiusano
428dcfffbe ignore info notes if there's a compile error 2018-10-22 15:24:56 -04:00
Paul Chiusano
b72a082238 lexer change for a comment that extends to end of file 2018-10-22 15:19:03 -04:00
Paul Chiusano
c7ffba7252 some tweaks to formatting of top-level component printout 2018-10-22 14:42:44 -04:00
Paul Chiusano
2ebcf065fa Merge branch 'topic/codebase-editor-pretty-components' into topic/codebase-editor 2018-10-22 14:17:02 -04:00
Paul Chiusano
cc9f2dd761 added Type.unit/pair/optional and helper fn 2018-10-22 14:15:30 -04:00
Runar Bjarnason
c701e909a3 Pretty-print components 2018-10-22 13:39:13 -04:00
Rúnar
cbb3be7edf
Merge pull request #264 from unisonweb/topic/codebase-editor-runar-forrealyo 
Topic/codebase editor runar forrealyo
 2018-10-22 12:02:47 -04:00
Runar Bjarnason
f1cb4258ac . 2018-10-22 11:57:19 -04:00
Runar Bjarnason
0125f34351 Builds and tests pass 2018-10-22 11:42:29 -04:00
Runar Bjarnason
8bc7a0315b Pretty-printing info notes still undefined 2018-10-19 23:10:46 -04:00
Runar Bjarnason
22f0f52f01 Merge branch 'topic/codebase-editor' of github.com:unisonweb/unison into topic/codebase-editor-runar 2018-10-19 23:08:05 -04:00
Runar Bjarnason
b6922da427 That calls for a commit 2018-10-19 23:02:35 -04:00
Arya Irani
6be0cc4659 don't report external branch notification on yourself 2018-10-18 18:59:24 -04:00
Arya Irani
b421b0903a greaet. 2018-10-18 18:46:37 -04:00
Arya Irani
38b9671b16 fix a bug in switching branches 2018-10-18 17:49:32 -04:00
Arya Irani
39d796f212 fix "branch" list 2018-10-18 17:38:16 -04:00
Arya Irani
a503db4d2d it can just about start up now 2018-10-18 17:14:37 -04:00
Arya Irani
1d649c6f04 factored out the external-branch-update part of CommandLine 2018-10-18 15:18:47 -04:00
Arya Irani
ccb00a6cf5 pulled out the disk-specific parts of Codebase 2018-10-18 14:48:07 -04:00
Arya Irani
668673c846 glass half full 2018-10-18 13:56:30 -04:00
Arya Irani
cc0366072b saving our work 2018-10-18 11:03:05 -04:00
Arya Irani
be00c7b00d add unison executable 2018-10-17 17:45:06 -04:00
Runar Bjarnason
2c50a27010 Printing typechecker notes for top-level defs 2018-10-17 17:44:33 -04:00
Arya Irani
281eefb47b CommandLine.handleUnisonFile 2018-10-17 17:13:58 -04:00
Arya Irani
e5d71ac23b Merge branch 'topic/codebase-editor' of github.com:unisonweb/unison into topic/codebase-editor 2018-10-17 15:45:38 -04:00
Arya Irani
bd495383e2 moved 1 definition for an hour 2018-10-17 15:45:25 -04:00
Rúnar
60a085ce7f
Merge pull request #263 from unisonweb/topic/branchdiff 
diff branches
 2018-10-17 15:38:24 -04:00