Timothy Clem
ca57af6132
Merge remote-tracking branch 'origin/master' into environment-scoping
2018-03-01 10:08:38 -08:00
Timothy Clem
e7404f45c1
WIP: detect empty alias
2018-03-01 10:08:32 -08:00
Timothy Clem
b1b463fb99
Begin to build some python fixtures for imports
2018-03-01 10:08:15 -08:00
Josh Vera
cc06b848bb
Merge pull request #1508 from github/rename-semantic
...
Rename the project to semantic
2018-03-01 11:50:38 -05:00
Josh Vera
aa79af7b8c
Merge branch 'master' into rename-semantic
2018-03-01 11:41:07 -05:00
joshvera
41a538d7e1
Merge remote-tracking branch 'origin/master' into rename-semantic
2018-03-01 10:16:35 -05:00
Timothy Clem
b497ad3199
Merge remote-tracking branch 'origin/master' into environment-scoping
2018-02-28 16:46:48 -08:00
Timothy Clem
db778c6dbf
Clean up imports
2018-02-28 16:42:22 -08:00
Timothy Clem
7c79c4410e
MemberAccess instance to go along with imports
...
This is a bit of a messy first pass, but it works!
2018-02-28 16:41:05 -08:00
Timothy Clem
3735cf8ffc
New approach for imports that doesn't alway pollute global env
2018-02-28 16:40:34 -08:00
Timothy Clem
4de05a3708
Start over with a new env in Program
2018-02-28 16:27:39 -08:00
Timothy Clem
9c66ec07d9
Easily get a single free variable, requires/load take names instead of terms
2018-02-28 16:26:40 -08:00
Timothy Clem
9deccfeae3
Put lookupOrAlloc' back at top level
2018-02-28 15:20:55 -08:00
Josh Vera
553e8ae700
Merge pull request #1511 from github/prologue
...
Bring back Prologue
2018-02-28 15:45:58 -05:00
joshvera
83e2ba56e5
Merge remote-tracking branch 'origin/master' into prologue
2018-02-28 15:30:42 -05:00
joshvera
367cfc4f5c
Remove Control.Monad.Effect.Store
2018-02-28 15:30:17 -05:00
joshvera
9aed1b5516
bring back ws
2018-02-28 15:30:17 -05:00
joshvera
c58f21ad81
Rename Assignment.Table toList to toPairs
2018-02-28 15:30:17 -05:00
Rob Rix
a485c48ed6
Merge pull request #1510 from github/algebraic-evaluation
...
Algebraic evaluation
2018-02-28 14:53:58 -05:00
Rob Rix
3bdb7df2c2
Merge branch 'master' into algebraic-evaluation
2018-02-28 14:47:04 -05:00
Josh Vera
786c92d94a
Merge branch 'master' into prologue
2018-02-28 12:36:29 -05:00
joshvera
383fbf747b
Merge remote-tracking branch 'origin/master' into prologue
2018-02-28 12:19:06 -05:00
Patrick Thomson
17223e058a
Merge pull request #1513 from github/haddock-fixes
...
Comment fixes to ensure `stack haddock` works.
2018-02-28 09:15:02 -08:00
Patrick Thomson
7652d2f4a0
Keep the => on the subsequent line.
2018-02-28 09:07:56 -08:00
Patrick Thomson
7df92c2828
Comment fixes to ensure stack haddock works.
...
There were a couple of typeclasses that were bamboozling the Haddock
parser. I was able to fix `subalgorithmFor`, but the vaguaries of
per-argument comments in type families appear to have escaped me—if
you can figure out how to get them picked up in the definition of
AssignmentParser, shout. I tried it all the ways I could think of and
came up empty.
But now we have nice Haddocks, which are intensely helpful!
2018-02-28 09:03:41 -08:00
joshvera
654bbd26d6
Hide unless and when
2018-02-28 11:46:42 -05:00
joshvera
e2d30b286c
sort
2018-02-28 11:33:24 -05:00
joshvera
9963f4a2b0
expose Monoid typeclass
2018-02-28 11:27:25 -05:00
joshvera
766f960e91
Add some more modules
...
Control.Exception
Don't import all of Data.Monoid newtypes
2018-02-27 18:13:25 -05:00
joshvera
dec2f2b22e
Add more modules
...
MonadError
GHC.Stack
Data.Hashable
Data.These
Data.Functor.Classes.Generic
Data.Traversable
Control.Arrow
Both
GAlign
Mergeable
Bifoldable
Bitraversable
2018-02-27 17:43:50 -05:00
joshvera
0bb2866a83
Add MonadFail to Prologue
2018-02-27 16:33:47 -05:00
joshvera
1d63dff0e8
Import Prologue in Assignment.Table
2018-02-27 16:14:29 -05:00
Rob Rix
23f45dafc4
Destructure on the rhs.
2018-02-27 12:28:41 -05:00
Rob Rix
3b6e23974e
Merge branch 'master' into algebraic-evaluation
2018-02-27 12:27:09 -05:00
joshvera
8f33a03b45
Add Algebra, Bifunctor, and ByteString to Prologue
2018-02-27 12:15:03 -05:00
joshvera
8ddaaa9d92
Add Foldable and NonEmpty to Prologue
2018-02-27 12:08:13 -05:00
joshvera
89914a3556
Stub out a Prologue with an implicit prelude
2018-02-27 12:04:05 -05:00
Timothy Clem
ddde99b33a
Merge pull request #1506 from github/eval-effect
...
Evaluate imports and major refactor to embrace Effects and streamline s/Eval/Evaluatable
2018-02-27 08:55:08 -08:00
Rob Rix
4f5250bc95
Merge branch 'eval-effect' into algebraic-evaluation
2018-02-27 11:53:22 -05:00
Timothy Clem
87df66b2ba
Merge branch 'master' into eval-effect
2018-02-27 08:49:43 -08:00
Timothy Clem
8903fbbecf
Remove micro Ruby/Python
2018-02-27 08:23:13 -08:00
Rob Rix
0a18beb177
Merge branch 'algebraic-evaluation' into closures-embed-actions
2018-02-27 11:21:02 -05:00
Rob Rix
6229b3cab3
eval is a SubtermAlgebra.
2018-02-27 11:02:00 -05:00
Rob Rix
038d3ac683
📝 foldSubterms.
2018-02-27 10:55:36 -05:00
Rob Rix
c8d1ab596b
Define a foldSubterms recursion scheme.
2018-02-27 10:54:59 -05:00
Timothy Clem
841f68816e
Revert "Removing holding onto val in Interface"
...
This reverts commit 948cf97aea91b0a122e4e2801348415d9aea1d42.
2018-02-27 07:54:30 -08:00
Rob Rix
7142a35387
📝 Subterm.
2018-02-27 10:52:38 -05:00
Rob Rix
2f7194447b
📝 SubtermAlgebra.
2018-02-27 10:52:32 -05:00
Rob Rix
d5575078f2
Define a SubtermAlgebra type synonym.
2018-02-27 10:51:52 -05:00
Rob Rix
76e34bb422
Define a Subterm datatype.
2018-02-27 10:51:13 -05:00
