Dave Halter
|
18ecb5a746
|
Small rename
|
2019-08-26 23:34:01 +02:00 |
|
Dave Halter
|
14fc5ed289
|
Fix more issues with where contexts are used and where values are used
|
2019-08-20 09:59:10 +02:00 |
|
Dave Halter
|
caee8e9952
|
Fix final gradual typing related issues
|
2019-08-19 19:43:45 +02:00 |
|
Dave Halter
|
b19ba12566
|
Fix some more context issues
|
2019-08-19 19:33:12 +02:00 |
|
Dave Halter
|
6fb49eaadf
|
as_context caching
|
2019-08-18 17:52:15 +02:00 |
|
Dave Halter
|
8e60689bcf
|
valueualized_node -> contextualized_node
|
2019-08-18 00:58:33 +02:00 |
|
Dave Halter
|
f61246bf13
|
Fix quite a few more tests. Only about a fifth failing now
|
2019-08-18 00:47:21 +02:00 |
|
Dave Halter
|
680388a7e8
|
More fixes
|
2019-08-17 17:01:21 +02:00 |
|
Dave Halter
|
2629ff55f3
|
Fix some array tests
|
2019-08-17 15:42:13 +02:00 |
|
Dave Halter
|
03920502c4
|
infer_state -> inference_state
|
2019-08-16 11:44:30 +02:00 |
|
Dave Halter
|
600272366f
|
parent_value -> parent_context
|
2019-08-15 09:36:46 +02:00 |
|
Dave Halter
|
9986d8c9aa
|
Context -> Value
|
2019-08-15 01:26:11 +02:00 |
|
Dave Halter
|
49f996867d
|
NO_CONTEXTS -> NO_VALUES
|
2019-08-15 01:24:28 +02:00 |
|
Dave Halter
|
ad4f546aca
|
context -> value
|
2019-08-15 01:23:06 +02:00 |
|
Dave Halter
|
9e23f4d67b
|
Move base_context -> base_value
|
2019-08-15 00:41:02 +02:00 |
|
Dave Halter
|
a5dff65142
|
Evaluator -> InferState
|
2019-08-15 00:37:51 +02:00 |
|
Dave Halter
|
8157d119a7
|
eval_ -> infer_
|
2019-08-15 00:20:01 +02:00 |
|
Dave Halter
|
3b4f292464
|
Move the evaluate package to inference
|
2019-08-15 00:14:26 +02:00 |
|