Paul Chiusano
f6645c5f5c
Fix console rendering of nested docs
2021-04-08 21:37:20 -05:00
Paul Chiusano
0d45e26bd9
Fix issue with loading source from the current file
2021-04-08 19:46:53 -05:00
Paul Chiusano
f4e99cbfc2
comments and removed pretty.u
2021-04-08 14:08:57 -05:00
Paul Chiusano
581988e88b
Added comment
2021-04-08 13:34:56 -05:00
Paul Chiusano
8262a61ca9
Reenable warning about no signatures
2021-04-08 13:15:31 -05:00
Paul Chiusano
ad9b719c6a
Unit tests for new text builtins
2021-04-08 13:02:27 -05:00
Paul Chiusano
84e0976f42
deleted doc2.u
2021-04-08 12:51:05 -05:00
Paul Chiusano
d3b403993c
deleted temp scratch files
2021-04-08 12:50:09 -05:00
Paul Chiusano
5c6c3f1e2c
Allow anonymous doc blocks before types too!
2021-04-08 12:43:11 -05:00
Paul Chiusano
77058abb09
Fixed parsing of term links to operators - {Nat.+} works fine now
2021-04-08 10:55:45 -05:00
Paul Chiusano
6181733dcb
error message cleanup
...
whenever showing two mismatched types, ensure they are left aligned for easy visual comparison
2021-04-08 00:24:00 -05:00
Paul Chiusano
79fff8523e
refresh transcripts
2021-04-07 23:53:48 -05:00
Paul Chiusano
e51d186607
Merge remote-tracking branch 'origin/trunk' into topic/doc2a
2021-04-07 23:47:14 -05:00
Paul Chiusano
b59f8c8be6
fix bug with table rendering
2021-04-07 23:43:22 -05:00
Paul Chiusano
573f2b245f
Filled in rest of the pretty-printer
...
There's an issue with table rendering still
2021-04-07 23:05:50 -05:00
Paul Chiusano
c605d04882
filled in more of pretty-printer
2021-04-07 22:17:05 -05:00
Arya Irani
ff28739153
Merge pull request #1859 from unisonweb/topic/easytest-monadfail
...
MonadCatch and MonadThrow instances for Test
2021-04-07 17:06:09 -04:00
Arya Irani
8d05785c30
MonadCatch and MonadThrow instances for Test
2021-04-07 14:14:49 -06:00
Paul Chiusano
766d8006c3
Fix source rendering
2021-04-07 14:54:34 -05:00
Paul Chiusano
acca802f4e
Including source
...
Still needs pretty-printer support, and the display is getting mangled somehow
2021-04-07 14:12:33 -05:00
Paul Chiusano
3337b3d7d8
Various rendering and pretty-printing fixes
2021-04-07 13:20:55 -05:00
Paul Chiusano
893e918ed4
Embedded evaluation is working in docs
...
Thanks to @dolio for the decompilation improvements
2021-04-06 21:39:10 -05:00
Paul Chiusano
27de53e1ec
Merge remote-tracking branch 'origin/trunk' into topic/doc2a
2021-04-06 21:21:04 -05:00
Paul Chiusano
844deaa9c1
Merge pull request #1858 from unisonweb/topic/decompiling
...
Further decompiling improvements in the new runtime
2021-04-06 21:20:25 -05:00
Paul Chiusano
47122c2f5b
It's... ALIVE!!!! The pretty printer is totally working on docs
...
View patterns ftw.
2021-04-06 21:19:52 -05:00
Arya Irani
b7f68cb496
Merge pull request #1856 from unisonweb/topic/package.yaml
...
use hpack package.yaml to generate .cabal files
2021-04-06 17:32:29 -04:00
Paul Chiusano
46d5a94bc7
Doc2 prettyprinting WIP
2021-04-06 14:18:37 -05:00
Dan Doel
439f4c734c
Fix an unused import warning
2021-04-06 14:02:32 -04:00
Dan Doel
fc6a00c94e
Fix decompilation binding group numbering
...
The bindings get reversed during translation to supercombinators, so
reverse the letrec numbering to match.
2021-04-06 12:48:29 -04:00
Paul Chiusano
6aad4e79d4
Moar doc pretty printing helpers
2021-04-06 10:54:45 -05:00
Dan Doel
e53c122e0e
Fix decompilation of applied lambdas
...
The decompiler was expecting a bare AbsN for some reason, so it would
never actually substitute into a lambda term.
2021-04-06 11:33:39 -04:00
Dan Doel
9e2aeb6756
Keep track of decompilation info while floating
...
This allows a much wider range of terms to be decompiled. We remember
the original term that we're about to float, and use it when the floated
combinator is decompiled.
We do this for every closed term that is being floated. Before floating,
we do a pass to close all lambda terms, so the only free variables in
them are actual recursive references. This means that every (locally)
non-recursive function has retained decompilation information.
2021-04-06 11:31:41 -04:00
Arya Irani
7206a5f9c1
Merge branch 'trunk' into topic/package.yaml-flags
2021-04-06 00:00:24 -06:00
Arya Irani
f1fbf1a91d
Merge pull request #1857 from unisonweb/topic/un-unliftio1
...
Use liftIO instead of MonadUnliftIO
2021-04-06 01:23:36 -04:00
Paul Chiusano
6abc4b7cbf
helper functions for pretty printing doc2s
2021-04-05 21:46:17 -05:00
Paul Chiusano
a7f290b61a
Switch to camel case for doc syntax, for easier pretty-printing
2021-04-05 21:02:27 -05:00
Arya Irani
c27e3e51b6
use liftIO instead of MonadUnliftIO
2021-04-05 19:13:17 -06:00
Arya Irani
aa1628844f
update copyright(?) and tweak flags
2021-04-05 12:04:35 -06:00
Arya Irani
6791242ae1
use hpack package.yaml to generate .cabal files
2021-04-05 10:05:48 -06:00
Paul Chiusano
02595c78f8
Allow a token immediately following @eval{..}
2021-04-05 09:50:46 -05:00
Paul Chiusano
79b7e218d7
fix term link rendering
2021-04-05 09:41:02 -05:00
Paul Chiusano
97a3d51756
Fix misc doc rendering issues
2021-04-05 09:25:45 -05:00
Paul Chiusano
713194ac35
Fix infinite loop in rendering of docs
2021-04-03 09:54:46 -05:00
Paul Chiusano
bfc6c3ed63
Fill in missing case in Pretty.map
2021-04-02 18:45:57 -05:00
Paul Chiusano
3e4163acce
Merge remote-tracking branch 'origin/trunk' into topic/doc2a
2021-04-02 08:37:09 -05:00
Paul Chiusano
492e346a7b
Merge pull request #1854 from unisonweb/fix/thro
2021-04-01 14:36:47 -05:00
Dan Doel
9a7499ee95
Fix some uses of throwing in the new runtime
...
When adding arguments to the instruction for bug/todo output, some other
uses of throwing errors were neglected and passed the wrong number of
arguments. This change also customizes the error messages a bit
(although they do not quite match the old messages).
2021-04-01 14:41:24 -04:00
Paul Chiusano
9271749a04
Pull base.u out into its own file rather than embedding in the transcript
2021-03-31 20:44:01 -05:00
Paul Chiusano
c6ffbc8cf6
Add a grouping level to the docs element
2021-03-31 19:57:42 -05:00
Paul Chiusano
79cd41fb2e
Merge remote-tracking branch 'origin/trunk' into topic/doc2a
2021-03-31 19:40:40 -05:00
