Greg Pfeil
742f4ebbb3
Remove filenames from transcript failure outputs
...
Windows and POSIX disagree on path separators, so this just trims them
before writing the output file.
2024-10-03 00:15:13 -06:00
Greg Pfeil
1c4312ef20
Fix source locations in transcript parser
...
The source is initially parsed by CMark and then this code parses
individual fenced code blocks.
This sets the initial state for the code block parser so that source
locations and error excerpts match the source file.
__NB__: I think the “invalid-api-requests” transcript is intended to
fail on the `DELETE`, not the unsupported `:error` tag, so I
fixed that.
2024-10-02 22:58:34 -06:00
Greg Pfeil
8dbe578f4b
Record output for expected transcript parse errors
...
These outputs weren’t being written, so there was no way to tell if they changed.
2024-10-02 21:44:23 -06:00
Arya Irani
3327c8a95c
Merge pull request #5370 from unisonweb/fix-tdnr-name-resolution-bugs
2024-09-30 12:16:12 -04:00
Greg Pfeil
1dcc332a0d
Move recursion schemes to separate package
2024-09-26 12:59:14 -06:00
Mitchell Rosen
5b7c9287dc
revert to storing top level components in the typechecker env instead because
2024-09-25 18:15:30 -04:00
Arya Irani
df6b493f29
Merge pull request #5366 from unisonweb/topic/jit-optimize
2024-09-25 12:51:39 -04:00
Arya Irani
3a211890b2
Merge pull request #5362 from unisonweb/topic/text-search
2024-09-24 15:18:54 -04:00
dolio
23d157e9ff
automatically run ormolu
2024-09-24 16:02:50 +00:00
Dan Doel
35ebd7becf
Tweak profile argument handling
2024-09-24 12:01:48 -04:00
Dan Doel
6994352321
Add a flag to compile.native that enables profiling
2024-09-24 11:27:39 -04:00
pchiusano
40dec52120
automatically run ormolu
2024-09-22 00:32:26 +00:00
Paul Chiusano
879c06ad90
handle quoting and polish
2024-09-21 19:15:55 -05:00
Paul Chiusano
d44cb68d75
code complete, but not finding any matches
2024-09-21 18:01:12 -05:00
Mitchell Rosen
4d7077291d
add back suffixifyByHash, call the new thing suffixifyByHashName
2024-09-19 18:28:27 -04:00
Chris Penner
814f968b3d
Merge pull request #5330 from unisonweb/cp/inline-func-calls
...
Inline code for function calls in interpreter
2024-09-10 12:09:59 -07:00
Mitchell Rosen
c118fa3ca6
put dependents and conflicts in the namespace on a merge branch
2024-09-05 15:01:23 -04:00
Chris Penner
8bd04c5187
Propagate new interface outwards
2024-09-05 09:25:34 -07:00
Arya Irani
b08cbb02a6
Merge pull request #5324 from unisonweb/fix-5323
...
bugfix: fix suffixification logic in upgrade
2024-09-03 14:00:32 -04:00
Arya Irani
e812c302b2
Merge pull request #5290 from sellout/transcript-stanza-counter
...
Improve transcript runner output
2024-09-03 13:59:47 -04:00
Arya Irani
8137f5797a
switch whitespace spans for clearCurrentLine
2024-09-03 13:10:32 -04:00
Mitchell Rosen
20b67e636c
fix upgrade ppe
2024-09-03 10:08:12 -04:00
Arya Irani
b17640ae70
Merge pull request #5308 from unisonweb/cp/split-off-runtime
...
Split off `unison-runtime` package
2024-08-30 17:59:35 -04:00
Mitchell Rosen
e9c2d4957c
fix suffixification logic in update
2024-08-30 14:40:13 -04:00
Chris Penner
c5c0d89b2a
Clean up packages from test components
2024-08-29 15:10:34 -07:00
Chris Penner
1eaa4c5678
Add unused package warning
2024-08-29 12:55:31 -07:00
Chris Penner
2fa330b92e
Split off unison-runtime package
2024-08-29 12:49:20 -07:00
Mitchell Rosen
217cf13530
add missing record fields
2024-08-27 19:48:42 -04:00
Mitchell Rosen
24a6c9b3ea
clean some code up and fix pattern-match-coverage.md
2024-08-27 19:29:29 -04:00
Mitchell Rosen
267262311c
fix a couple more warnings
2024-08-27 17:10:14 -04:00
Mitchell Rosen
2942ed62fe
fix handling of namespace blocks in term parser
2024-08-27 15:09:18 -04:00
Mitchell Rosen
989265816e
⅄ trunk → term-name-resolution-change
2024-08-26 13:50:39 -04:00
Mitchell Rosen
bbb04d9da2
get the transcripts passing (but a couple are still broken)
2024-08-26 13:37:19 -04:00
Chris Penner
2e71dff47d
Kill Configurator and Unison Config
2024-08-25 15:21:27 -07:00
Mitchell Rosen
82d012fdb1
emit a proper resolution result for constructors
2024-08-23 12:08:22 -04:00
Mitchell Rosen
f9113108c8
get ambiguous term error message properly suffixifying names
2024-08-22 13:12:42 -04:00
Greg Pfeil
85f147feb4
Improve transcript runner output
...
Previously, it would output messages like
⚙️ Processing stanza Just 6 of 7.
and
⚙️ Processing stanza Nothing of 7.
which was especially confusing when there was text or some other
non-Unison block at the end of the transcript.
Now the messages look like
⏩ Skipping non-executable Markdown block.
⚙️ Processing stanza 6 of 7.
✔️ Completed transcript.
The one shortcoming is that I don’t know how to clear the line after the
carriage return, so I added whitespace padding to make sure the previous
messages get overwritten.
2024-08-20 11:28:16 -06:00
Mitchell Rosen
035fe0a585
⅄ trunk → type-name-resolution-change
2024-08-19 16:08:21 -04:00
Mitchell Rosen
cc48213b1b
distinguish between type and term dependencies in UF.dependencies
2024-08-13 14:05:22 -04:00
Mitchell Rosen
28543adcdd
reuse unique type guids in merge after all
2024-08-13 12:46:42 -04:00
Arya Irani
ed555a3ea1
Merge branch 'trunk' into 24-08-01-merge-api
2024-08-13 10:50:02 -04:00
Mitchell Rosen
84b45c6d10
don't prefer the unison file for type name suffixes
2024-08-12 15:51:12 -04:00
Arya Irani
c4f8ffcf39
clear latestTypecheckedFile on update
...
fixes #3424
2024-08-09 15:50:38 -04:00
Mitchell Rosen
0d560d209a
delete unused import
2024-08-08 13:34:18 -04:00
Mitchell Rosen
c230be29aa
move more code around
2024-08-08 12:19:53 -04:00
Mitchell Rosen
a40bfd64ad
move the rest of the mergeblobs over
2024-08-08 11:57:14 -04:00
Mitchell Rosen
3b37c4b349
move some of the mergeblob API over to unison-merge
2024-08-08 11:50:26 -04:00
Mitchell Rosen
53209c3b69
more mergeblob work
2024-08-08 11:16:43 -04:00
Mitchell Rosen
c88c4a3643
rename a couple things
2024-08-06 13:25:02 -04:00
Mitchell Rosen
d5a9585194
continue refactoring
2024-08-06 13:05:24 -04:00
