Rúnar
0b879846e2
Add a test
2021-07-15 11:02:49 -04:00
Paul Chiusano
a2dd77a550
Merge pull request #2197 from unisonweb/fix/abilities
...
Fix some ability checking regressions.
2021-07-12 21:34:33 -04:00
Dan Doel
99ff320820
Add tests
2021-07-12 10:45:07 -04:00
Dan Doel
c1596f3e7f
Add test to codeops.md
2021-07-08 11:51:10 -04:00
Paul Chiusano
4418667b79
Merge pull request #1780 from unisonweb/topic/abilities-fixes
...
New ability inference algorithm that better handles recursive functions
2021-06-29 16:22:21 -04:00
Simon Højberg
ef5f7314b8
Fix misspelling of definition
2021-06-24 10:54:54 -04:00
Dan Doel
7d7a60e9e5
Add transcript changes with improved types
2021-06-08 14:50:04 -04:00
Paul Chiusano
bb3f5b26b6
check in refreshed transcript output
2021-06-08 07:44:12 -05:00
Paul Chiusano
c0424b6608
simplify transcript to not pull remote base
2021-06-07 23:01:06 -05:00
Chris Gibbs
f7e932bfaf
add parens around termLink and typeLink, according to ambient precedence - transcript updates
2021-06-06 18:00:34 +01:00
Dan Doel
44b74f7d56
Attempt to remove platform-specific information from transcript
2021-05-27 18:37:55 -04:00
Dan Doel
57ecb81d27
Fix bad failure references in builtins
...
- When originally written, various builtins were referencing data types
defined in IOSource. However, those no longer exist there.
- Instead, they are defined in Unison.Builtin.Decls
- This switches the builtins to the Decls values, some of which weren't
exported yet.
- Also eliminates them from IOSource, since the ones there didn't
actually work.
- Transcript testing the behavior added.
2021-05-27 16:41:14 -04:00
Paul Chiusano
7641e85909
fix pretty-printing of inline signature blocks
2021-05-25 13:48:35 -05:00
Paul Chiusano
24cf74d745
@signature is now @inlineSignature
2021-05-25 10:51:58 -05:00
Paul Chiusano
c09379ae11
don't include yet another List.map in base.u
2021-05-13 11:00:57 -05:00
Dan Doel
5deccda4c5
Add tests for uncons/unsnoc
2021-05-12 13:59:41 -04:00
Paul Chiusano
354ede1ea6
Elide unit from display output
2021-05-10 20:43:03 -05:00
Paul Chiusano
fedbaeb6bb
Elide unit from pretty-printer of @typecheck blocks
2021-05-10 20:17:38 -05:00
Paul Chiusano
44e3983519
Fix parse bug with blocks that end with an implicit ()
2021-05-10 18:13:45 -05:00
Paul Chiusano
b2d02107ad
fix off by one error in pretty-printing of examples
2021-05-10 17:58:48 -05:00
Paul Chiusano
903e670134
checking this in even though output is wrong
2021-05-10 16:00:03 -05:00
Paul Chiusano
dfa13aff8d
add @typecheck doc syntax
2021-05-10 14:56:05 -05:00
Paul Chiusano
4ce85400d5
Block examples (not working yet)
2021-05-10 10:58:19 -05:00
mergify[bot]
ca7b32d1ca
Merge pull request #1909 from unisonweb/fix/1890
...
Stop using old `io.Mode` and `io.BufferMode` types in favor of versions in `io2` package
2021-05-07 18:55:22 +00:00
Dan Doel
8f2dea5835
True was defined to be False
...
- Added some truth table tests to a transcript.
2021-05-05 20:20:41 -04:00
Paul Chiusano
4057c9b645
Add failing test that exercises the various file and buffering modes
2021-05-05 12:57:38 -05:00
Paul Chiusano
0823e4b1fa
Fix issue with table rendering where a row has multiple lines
2021-04-28 15:48:36 -05:00
Mitchell Rosen
9b5a6edf4a
⅄ trunk → delete-old-runtime
2021-04-27 09:39:55 -04:00
Mitchell Rosen
e643c3d639
new-runtime-transcripts -> transcripts-with-base
2021-04-27 09:33:20 -04:00
Mitchell Rosen
6909a4e7c6
rename new-runtime-transcripts to transcripts-using-base
2021-04-27 09:28:01 -04:00
