Patrick Thomson
|
b58132ba0e
|
Unused imports.
|
2019-10-23 12:05:28 -04:00 |
|
Patrick Thomson
|
cb783e6646
|
Make this a boolean operator pending resolution of #358.
|
2019-10-23 11:59:23 -04:00 |
|
Patrick Thomson
|
5d5113ff69
|
fix brokenness that crept in overnight (?)
|
2019-10-23 10:31:55 -04:00 |
|
Patrick Thomson
|
559958d9cf
|
Define new :? type for checked lookups and try implementing it.
|
2019-10-22 17:27:54 -04:00 |
|
Rob Rix
|
6b9ba62c8c
|
Rename Core.Core.* to Core.*.
|
2019-10-11 13:50:40 -04:00 |
|
Rob Rix
|
85d09b5116
|
Rename Core.File to Analysis.File.
|
2019-10-11 12:37:11 -04:00 |
|
Rob Rix
|
0c1b7bc25f
|
Analysis expects term to be * -> *.
|
2019-10-11 11:28:44 -04:00 |
|
Rob Rix
|
541ef22076
|
Parameterize Analysis by the type of names.
|
2019-10-11 10:49:32 -04:00 |
|
Rob Rix
|
b6a9eeaf6b
|
Rename Analysis.Eval to Core.Eval.
|
2019-10-11 10:46:59 -04:00 |
|
Rob Rix
|
c2bb05fe25
|
🔥 Core.Loc.
|
2019-10-10 18:09:02 -04:00 |
|
Rob Rix
|
585848658a
|
Core.Core doesn’t depend on Core.Loc.
|
2019-10-10 17:57:26 -04:00 |
|
Rob Rix
|
d679f28760
|
File.fromBody doesn’t depend on Core.Loc.
|
2019-10-10 17:50:25 -04:00 |
|
Rob Rix
|
e177ea7eab
|
Rename fromGHCSrcLoc to fromSrcLoc.
|
2019-10-10 17:40:42 -04:00 |
|
Rob Rix
|
c31b151ba8
|
🔥 Core.Loc.Path.
|
2019-10-10 17:33:56 -04:00 |
|
Rob Rix
|
2c120879bb
|
Replace Core.Scope with Syntax.Scope.
|
2019-10-10 15:24:52 -04:00 |
|
Rob Rix
|
131bec8ed3
|
Replace Prec with Syntax.Pretty.Prec.
|
2019-10-10 15:20:27 -04:00 |
|
Rob Rix
|
5b378da075
|
Replace Core.Stack with Syntax.Stack.
|
2019-10-10 15:19:04 -04:00 |
|
Rob Rix
|
7df71e359e
|
Replace Core.Term with Syntax.Term.
|
2019-10-10 15:17:22 -04:00 |
|
Rob Rix
|
0f8fa337e4
|
Replace Control.Monad.Module with Syntax.Module.
|
2019-10-10 15:14:37 -04:00 |
|
Rob Rix
|
cde9635319
|
Rename the Term constructor to Alg.
|
2019-10-10 15:12:44 -04:00 |
|
Rob Rix
|
d7dc440a30
|
Move all the Data.* modules into Core.* instead.
|
2019-10-10 15:07:49 -04:00 |
|