Paul Chiusano
|
fc9e168b4f
|
When doing an 'add', we now strip out watch expressions
|
2018-11-11 18:24:16 -05:00 |
|
Paul Chiusano
|
ce7215d564
|
using prettyprint env to print out refs
|
2018-11-11 17:57:42 -05:00 |
|
Paul Chiusano
|
1374348994
|
don't terminate the repl if rename target doesn't exist
|
2018-11-11 17:38:20 -05:00 |
|
Paul Chiusano
|
12c2f0f878
|
use Lexer.symbolyId to decide whether to print an operator infix
|
2018-11-11 17:34:59 -05:00 |
|
Paul Chiusano
|
9b736597ec
|
merge latest @atacratic pretty-printing work, tests all passing
|
2018-11-11 17:20:33 -05:00 |
|
Paul Chiusano
|
a5e19d4d46
|
Merge remote-tracking branch 'origin/topic/termprinter4' into topic/codebase-editor
|
2018-11-11 17:02:46 -05:00 |
|
Paul Chiusano
|
adffc236a9
|
constructors get qualified names
|
2018-11-11 16:40:10 -05:00 |
|
Paul Chiusano
|
7089364803
|
Close token printed as empty string
|
2018-11-11 15:11:11 -05:00 |
|
Paul Chiusano
|
a58032976a
|
get rid of redundant fields of PrettyPrintEnv
|
2018-11-11 15:08:08 -05:00 |
|
Paul Chiusano
|
61505a266a
|
can now run code that references preexisting defs
|
2018-11-11 14:23:30 -05:00 |
|
Chris Gibbs
|
851baea1ea
|
Merge branch 'wip/codebase-editor' into topic/termprinter4
|
2018-11-11 17:08:47 +00:00 |
|
Chris Gibbs
|
23ccae59b1
|
Support for infix definitions in TermPrinter.prettyBinding
|
2018-11-11 17:00:44 +00:00 |
|
Arya Irani
|
1a6b7cd3ff
|
Branch.termNamespace maps Name to Referent
|
2018-11-10 17:49:05 -05:00 |
|
Arya Irani
|
62ed12a80b
|
V0.getReferent/putReferent
|
2018-11-10 16:01:59 -05:00 |
|
Arya Irani
|
88f7ac6977
|
print scala hashes using base58 to match haskell
|
2018-11-10 16:01:10 -05:00 |
|
Paul Chiusano
|
d579b99ee5
|
using fuzzy matching in ls
|
2018-11-10 00:28:21 -05:00 |
|
Paul Chiusano
|
1483b68d8c
|
one line fix for issue where TDNR decisions not being substituted into TLCs
|
2018-11-09 22:25:50 -05:00 |
|
Arya Irani
|
113740f20b
|
added builtin types to the CLI TypeLookup
|
2018-11-09 21:33:43 -05:00 |
|
Arya Irani
|
2dc4f993b3
|
minor cleanup
|
2018-11-09 20:56:47 -05:00 |
|
Arya Irani
|
7e9c7426b6
|
448 tests passing, 0 failures
|
2018-11-09 18:24:44 -05:00 |
|
Arya Irani
|
2a9fd1d69f
|
trace the TypeLookup passed to TDNR
|
2018-11-09 18:04:21 -05:00 |
|
Arya Irani
|
f7fcef93fa
|
added suggestions trace to get our bearings
|
2018-11-09 17:34:19 -05:00 |
|
Arya Irani
|
ff892bb7c7
|
haskell tests 430 passing, 18 failed...
"typechecker.tests/ask-inferred.u"
"typechecker.tests/console.u"
"typechecker.tests/language-reference.u"
"typechecker.tests/map-reduce.u"
"typechecker.tests/pattern-matching.u"
"typechecker.tests/sequence-at-0.u"
"typechecker.tests/state2a-min.u"
"typechecker.tests/state2a.u"
"typechecker.tests/state2b-min.u"
"typechecker.tests/state2b.u"
"typechecker.tests/state4.u"
"typechecker.tests/tdnr.u"
"typechecker.tests/tdnr2.u"
"typechecker.tests/tdnr3.u"
"typechecker.tests/tdnr4.u"
"typechecker.tests/tictactoe.u"
"typechecker.tests/tictactoe0.u"
"typechecker.tests/tictactoe2.u"
|
2018-11-09 16:52:45 -05:00 |
|
Arya Irani
|
c5c8cec987
|
Unisonfile.dependencies
|
2018-11-09 16:20:26 -05:00 |
|
Paul Chiusano
|
765a8a7977
|
refactoring in progress
|
2018-11-09 15:27:24 -05:00 |
|
Paul Chiusano
|
264c3ef32e
|
wip
|
2018-11-09 11:55:13 -05:00 |
|
Runar Bjarnason
|
d9e9a2e035
|
Names refactoring
|
2018-11-08 17:09:16 -05:00 |
|
Paul Chiusano
|
2680fa5412
|
wip
|
2018-11-08 12:24:43 -05:00 |
|
Paul Chiusano
|
c02891a940
|
test parsing and typechecking calls existing function now
|
2018-11-08 10:46:00 -05:00 |
|
Paul Chiusano
|
23fcc4f060
|
qualified usage of Names.termNames
|
2018-11-08 10:45:33 -05:00 |
|
Paul Chiusano
|
1a7920c62a
|
added comment as to likely source of bug
|
2018-11-07 17:01:57 -05:00 |
|
Runar Bjarnason
|
849bc0ae3b
|
This calls for a commit
|
2018-11-07 16:38:04 -05:00 |
|
Arya Irani
|
108afe9921
|
add unison loop script
|
2018-11-07 09:58:01 -05:00 |
|
Runar Bjarnason
|
ee66735c95
|
Removed extra blanks and unnecessary messages
|
2018-11-06 16:44:07 -05:00 |
|
Runar Bjarnason
|
2aa0a3b0db
|
Removed spurious _ definitions from pretty file
|
2018-11-06 16:22:44 -05:00 |
|
Runar Bjarnason
|
d8c44ca78b
|
Fixed serialization of lambdas
|
2018-11-06 16:06:32 -05:00 |
|
Runar Bjarnason
|
39fd4f46ba
|
Fixed Scala side protocol to match Haskell
|
2018-11-06 13:15:24 -05:00 |
|
Arya Irani
|
f1705f7d98
|
it's alive
|
2018-11-06 11:29:32 -05:00 |
|
Runar Bjarnason
|
4e63387799
|
Attempting (and failing) to serialize some shit
|
2018-11-05 17:51:59 -05:00 |
|
Runar Bjarnason
|
75641892e5
|
Merge branch 'topic/codebase-editor' into wip/serializeV0
|
2018-11-05 14:15:02 -05:00 |
|
Runar Bjarnason
|
2074e99ae1
|
Allow different user to run stack for tests
|
2018-11-05 14:03:34 -05:00 |
|
Runar Bjarnason
|
cefdd2d29f
|
Added a test for TDNR with data constructors
|
2018-11-05 13:00:53 -05:00 |
|
Runar Bjarnason
|
deb84d81dd
|
Put the data and effect constructors in the names
for TDNR
|
2018-11-05 11:59:39 -05:00 |
|
Paul Chiusano
|
64b68ba149
|
added a couple demo files, working up to a distributed sort function
also spotted runtime bug, added pending test
|
2018-11-04 13:30:08 -05:00 |
|
Paul Chiusano
|
b9a04335f9
|
rename Stream.to-sequence to Stream.toSequence
Want to move to using camelCase and simplify identifiers to not allow dashes
|
2018-11-04 12:12:58 -05:00 |
|
Paul Chiusano
|
77ca5db7bc
|
writing/reading a sync byte after evaluation, so command line unison tool knows when evaluation is done
|
2018-11-04 12:01:45 -05:00 |
|
Arya Irani
|
d8cc83e9cb
|
add a trace on file reads since they are failing unexpectedly
|
2018-11-02 18:27:25 -04:00 |
|
Arya Irani
|
bb240a0726
|
trying to filter out duplicate TLC notes (may have different types over successive iterations of TDNR)
|
2018-11-02 16:59:45 -04:00 |
|
Arya Irani
|
289334938d
|
we were including builtins in the TypecheckedUnisonFile, + formatting
|
2018-11-02 16:59:13 -04:00 |
|
Runar Bjarnason
|
d00cea34be
|
.
|
2018-11-02 14:51:58 -04:00 |
|