unisonweb/unison
1
0
Fork 0
mirror of https://github.com/unisonweb/unison.git synced 2024-09-20 06:47:15 +03:00
Code Issues Projects Releases Wiki Activity
5,088 Commits 418 Branches 90 Tags 330 MiB
38f7d1eda2
Commit Graph

5088 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Runar Bjarnason
38f7d1eda2 Test the preservation of user type variables 2019-10-23 15:27:35 -04:00
Runar Bjarnason
a9ad1f9dab Preserve the user's type variables if possible 2019-10-23 15:11:50 -04:00
Runar Bjarnason
782f3a21d9 Correct typing for edits 2019-10-23 15:06:42 -04:00
Runar Bjarnason
b35cc5875f Make the propagation actually replace stuff 2019-10-23 12:51:35 -04:00
Runar Bjarnason
e44763aa9a Merge branch 'master' of github.com:unisonweb/unison into topic/propagatetypes 2019-10-22 13:44:01 -04:00
Runar Bjarnason
ace9ff680b Output errors on failure in transcript runner 2019-10-21 16:37:13 -04:00
Runar Bjarnason
48d3d48e3c end to end 2019-10-21 16:05:12 -04:00
Runar Bjarnason
a8c394654c worth a commit 2019-10-21 15:32:30 -04:00
Runar Bjarnason
a3f3bc170c wip 2019-10-21 15:03:02 -04:00
Paul Chiusano
367247e25e
Merge pull request #879 from jdevuyst/watch-files 
Watch files
 2019-10-21 13:53:57 -04:00
Paul Chiusano
d02aa209c4
Merge pull request #750 from TomasMikula/UnknownTerm-cleanup 
Remove some dead code in PrintError.
 2019-10-21 13:53:18 -04:00
Paul Chiusano
b28fad6172
Merge pull request #883 from noahhaasis/char-comparison 
Implement ordering for char literals (fix #850)
 2019-10-21 13:45:31 -04:00
Noah Haasis
c6c8c46798 test char comparison 2019-10-21 17:06:07 +00:00
Noah Haasis
0dbc2dfaf6 Implement cyclicOrd for character literals 2019-10-21 16:22:51 +00:00
Paul Chiusano
130519b258
Merge pull request #880 from noahhaasis/infix-boolean-operators 
Infix boolean operators (Fix #530)
 2019-10-21 11:32:32 -04:00
Paul Chiusano
335ba1b274
Merge pull request #878 from georgemarrows/test-char-literals 
Add Char test to literals.u
 2019-10-21 11:30:07 -04:00
Runar Bjarnason
adbe6d7f7a Merge branch 'master' of github.com:unisonweb/unison into topic/propagatetypes 2019-10-21 10:50:30 -04:00
Paul Chiusano
a7e513d478 Merge branch 'master' of github.com:unisonweb/unison 2019-10-21 10:37:33 -04:00
Paul Chiusano
7d8ff45442 better error message if missing a compiled form for a reference 2019-10-21 10:37:26 -04:00
George Marrows
79bcaa80bf Add self to CONTRIBUTORS 2019-10-20 23:55:04 +03:00
Arya Irani
b27141268a
Delete IO.u 2019-10-20 12:54:57 -04:00
Noah Haasis
ab5060175c Prettyprint infix boolean operators 2019-10-20 14:17:31 +00:00
Noah Haasis
f312f8fc62 Update tests to use infix boolean operators and backtrack on failure 2019-10-20 14:16:33 +00:00
Noah Haasis
64fd993f80 Add infix boolean operators as lexemes 2019-10-20 13:34:04 +00:00
Jonas De Vuyst
0d6009520b Load .u files in current dir when ucm starts 2019-10-20 20:33:51 +08:00
George Marrows
8abeb68331 Add Char test to literals.u 2019-10-20 15:16:58 +03:00
Jonas De Vuyst
165c22cf38 Watch for files non-recursively 2019-10-20 14:36:24 +08:00
Jonas De Vuyst
3daa3b4a8e Remove obsolete comment 2019-10-20 14:36:24 +08:00
Arya Irani
6bce3188e1
Merge pull request #875 from noahhaasis/guard-and-or 
Fix #770: Allow boolean operators in pattern guards
 2019-10-19 13:06:19 -04:00
Arya Irani
df2e1945fa
drop trailing space in TermParser.hs 2019-10-19 12:53:32 -04:00
Arya Irani
1d668938ce
Merge pull request #876 from unisonweb/topic/test873 
add a transcript test to close #873
 2019-10-19 12:19:04 -04:00
Arya Irani
4c2a8f23e1 add a transcript test to close #873 2019-10-19 11:01:12 -04:00
Noah Haasis
6af2611d44 Fix linebreak 2019-10-19 14:35:31 +00:00
Noah Haasis
b12f3e9f77 Allow boolean operators in pattern guards 2019-10-19 13:53:44 +00:00
Runar Bjarnason
6c82ed1f56 DoType 2019-10-18 18:31:57 -04:00
Arya Irani
2994f916fe
Merge pull request #874 from unisonweb/revert-771-remove-Codebase.makeSelfContained 
Revert "Is Codebase.makeSelfContained' unnecessary?"
 2019-10-18 13:44:11 -04:00
Arya Irani
36f8bd3974
Revert "Is Codebase.makeSelfContained' unnecessary?" 2019-10-18 13:40:04 -04:00
Tomas Mikula
5416c1970c Merge branch 'master' into UnknownTerm-cleanup 2019-10-17 21:44:42 +02:00
Tomas Mikula
99af97699e Remove some dead code in PrintError. 2019-10-17 21:44:14 +02:00
Runar Bjarnason
a694626114 Gray area between code reuse and copy/paste 2019-10-17 13:30:46 -04:00
Runar Bjarnason
1bb7a22e35 Merge branch 'master' of github.com:unisonweb/unison into topic/propagatetypes 2019-10-17 12:20:59 -04:00
Runar Bjarnason
e581182c79 wip 2019-10-17 12:16:55 -04:00
Runar Bjarnason
e160730a0c wip 2019-10-17 10:59:24 -04:00
Paul Chiusano
a9478b0494
Merge pull request #871 from unisonweb/topic/868-wrong-case-matches-when-pattern-matching 
fix #868, #870
 2019-10-16 15:53:38 -04:00
Arya Irani
a570e63baf fix #868, #870 2019-10-16 15:23:16 -04:00
Arya Irani
f96e03d851
Merge pull request #869 from jdevuyst/base-lib-ad 
Advertise base library on first launch
 2019-10-16 14:34:45 -04:00
Jonas De Vuyst
144e5edf7f Advertise base lib on first launch 2019-10-16 23:35:07 +08:00
Runar Bjarnason
81ad076654 Edits type, placeholders for type edits 2019-10-15 17:11:27 -04:00
Runar Bjarnason
02d91f6f36 Splitting off Propagate 2019-10-15 11:54:53 -04:00
Noah Haasis
9b68fedcee
Update link to language reference in readme (#864) 
Update readme to point to the new language reference on unisonweb.org and delete the old reference
 2019-10-14 13:13:49 +02:00