Timothy Clem
|
6b40e59c1d
|
No SplitDiff!
|
2018-09-27 13:04:51 -05:00 |
|
Rob Rix
|
40f47b45f0
|
Don’t shadow the name.
|
2018-09-27 13:03:50 -05:00 |
|
Rob Rix
|
e758b01725
|
🔥 a redundant TODO.
|
2018-09-27 13:02:50 -05:00 |
|
Timothy Clem
|
2d1a8cc7e7
|
Express this a bit more elegantly
|
2018-09-26 16:55:34 -05:00 |
|
Timothy Clem
|
caf23dcf39
|
const is a bit nicer
|
2018-09-26 16:55:13 -05:00 |
|
Timothy Clem
|
f7e721a3a0
|
Slightly more elegant expression of mark
|
2018-09-26 16:55:02 -05:00 |
|
Timothy Clem
|
44b8e9249a
|
Align the things
|
2018-09-26 16:54:48 -05:00 |
|
Timothy Clem
|
aa034e41bc
|
Refactor back to just Range
|
2018-09-26 14:26:56 -05:00 |
|
Timothy Clem
|
d6302cd687
|
Cleanup
|
2018-09-26 14:25:00 -05:00 |
|
Timothy Clem
|
c8dfe57a48
|
Remove Data.Record entirely
|
2018-09-26 14:05:29 -05:00 |
|
Timothy Clem
|
fdc8d5210a
|
Custom Show for Range and Span
|
2018-09-26 13:56:20 -05:00 |
|
Timothy Clem
|
1913277e74
|
Replace the annotation necessary for toc
Includes span in Declaration, refactors toc functions to remove a layer of maybe
|
2018-09-26 13:54:16 -05:00 |
|
Timothy Clem
|
f6f556fb32
|
TOC is the only thing with a custom annotation right now
|
2018-09-25 17:09:43 -05:00 |
|
Rob Rix
|
891f238179
|
Merge branch 'master' into first-order-closures
|
2018-09-25 16:53:41 -05:00 |
|
Timothy Clem
|
a6ad3f7f59
|
Reduce usage of DiffAnnotation
|
2018-09-25 16:52:40 -05:00 |
|
Rob Rix
|
29f6438609
|
🔥 a commented-out import.
|
2018-09-25 16:42:13 -05:00 |
|
Rob Rix
|
eb5a241edd
|
Ignore a warning about reducing duplication.
|
2018-09-25 16:41:50 -05:00 |
|
Rob Rix
|
086b3b5624
|
🔥 some unnecessary language extensions.
|
2018-09-25 16:40:07 -05:00 |
|
Rob Rix
|
0653832d9d
|
Swap the order of the parameters to Value.
|
2018-09-25 16:38:05 -05:00 |
|
Timothy Clem
|
f040234cf0
|
Don't need this
|
2018-09-25 16:06:02 -05:00 |
|
Timothy Clem
|
810d47300c
|
Annoying that we always have to decorate here...
|
2018-09-25 15:59:09 -05:00 |
|
Rob Rix
|
6affc61d26
|
The tests pass. That’s all that matters.
|
2018-09-25 15:17:06 -05:00 |
|
Rob Rix
|
2db44ac715
|
Fix the eval spec.
|
2018-09-25 14:41:57 -05:00 |
|
Timothy Clem
|
505c61959e
|
This goes back to throwing now
|
2018-09-25 14:04:58 -05:00 |
|
Timothy Clem
|
0a971c4ec8
|
Docs and a type synonym
|
2018-09-25 14:00:50 -05:00 |
|
Timothy Clem
|
eabd5b97e2
|
Minor refactor so we still get errors when we want that behavior
|
2018-09-25 14:00:39 -05:00 |
|
Rob Rix
|
f3c20a8fad
|
ConcreteEff is no more.
|
2018-09-25 13:40:07 -05:00 |
|
Rob Rix
|
06831f7f4d
|
🔥 some unused parametetrs.
|
2018-09-25 13:37:07 -05:00 |
|
Timothy Clem
|
14c175156d
|
Decorator algebras in fully control of their return data
|
2018-09-25 12:04:25 -05:00 |
|
Timothy Clem
|
5e2241ffe9
|
Don't need to know about Record here either
|
2018-09-25 11:20:57 -05:00 |
|
Timothy Clem
|
278e6890cd
|
Fix up the tests
|
2018-09-25 11:18:51 -05:00 |
|
Timothy Clem
|
786acbdc6a
|
Don't need any patterns here
|
2018-09-25 11:18:28 -05:00 |
|
Timothy Clem
|
0a837dfb97
|
Expose stripDiff
|
2018-09-25 11:18:10 -05:00 |
|
Timothy Clem
|
df7176e9a2
|
Don't need to know about Location here
|
2018-09-25 11:18:02 -05:00 |
|
Timothy Clem
|
9b641b4a4a
|
The end of Record fields
|
2018-09-24 17:14:52 -05:00 |
|
Timothy Clem
|
38a4bb38f2
|
WIP - replace Record across the project
Not quiet there with Diff and decorators yet
|
2018-09-21 13:46:25 -07:00 |
|
Rob Rix
|
605687fe37
|
Define built-ins as part of the Function effect.
|
2018-09-21 16:21:27 -04:00 |
|
Rob Rix
|
c6769d2e01
|
Resume using a first-order definition of functions.
|
2018-09-21 14:42:57 -04:00 |
|
Timothy Clem
|
a481f2ac2e
|
TypeOperators required
|
2018-09-21 09:47:36 -07:00 |
|
Timothy Clem
|
dfe8c842ed
|
Term doesn't need to know about Record
|
2018-09-21 09:42:24 -07:00 |
|
Timothy Clem
|
d656988dd0
|
Merge pull request #2188 from github/while-effect
Implement while as an effect
|
2018-09-21 09:33:12 -07:00 |
|
Timothy Clem
|
faab30add2
|
Don't eagerly run while bodies
|
2018-09-21 09:14:07 -07:00 |
|
Josh Vera
|
e92d9e84f0
|
Merge branch 'master' into while-effect
|
2018-09-20 16:09:04 -04:00 |
|
Rob Rix
|
98b1b1e16b
|
🔥 builtInExport.
|
2018-09-20 15:22:09 -04:00 |
|
Rob Rix
|
6993b39ab0
|
Define eval open-recursively.
|
2018-09-20 14:16:22 -04:00 |
|
Timothy Clem
|
4a84736162
|
Docs
|
2018-09-20 10:31:13 -07:00 |
|
Rob Rix
|
29532a114d
|
Evaluate modules using open recursion.
|
2018-09-20 13:12:19 -04:00 |
|
Rob Rix
|
c75defc821
|
📝 Open.
|
2018-09-20 13:02:24 -04:00 |
|
Rob Rix
|
8b41c2bdfb
|
Move the Open synonym to Evaluator.
|
2018-09-20 13:02:00 -04:00 |
|
Rob Rix
|
9f4e278b1a
|
Use a type synonym for the open recursion.
|
2018-09-20 13:01:23 -04:00 |
|