1
1
mirror of https://github.com/github/semantic.git synced 2024-12-13 03:15:45 +03:00
Commit Graph

25690 Commits

Author SHA1 Message Date
joshvera
4e65b1ec23 Add lookupScopePath to ScopeGraph 2018-10-17 14:41:00 -04:00
joshvera
b78cb25ba8 lookupScopePath returns a Maybe Path 2018-10-17 13:44:42 -04:00
joshvera
b8afed8ed7 lookupDeclaration returns the Maybe ddata 2018-10-17 13:44:31 -04:00
joshvera
29157620dc Remove Env constraints 2018-10-16 11:13:13 -04:00
joshvera
c357f0164a Add insertImportReference 2018-10-16 11:12:49 -04:00
joshvera
ae6b1ba788 Change bindAll to merge the old scope graph into the current scope graph 2018-10-16 11:12:19 -04:00
joshvera
cbd77eeb0e Remove Env constraints 2018-10-16 11:04:25 -04:00
joshvera
911cd0b7f0 docs 2018-10-16 11:03:53 -04:00
joshvera
3335f89737 replace letrec' with withChildFrame in QualifiedImport eval 2018-10-04 20:08:19 -04:00
joshvera
92362c2ea5 store values in classes 2018-10-04 20:07:56 -04:00
joshvera
36b170e764 Implement newScope in terms of insertScope 2018-10-04 20:07:49 -04:00
joshvera
f15fde32dc define returns a value now 2018-10-04 20:07:24 -04:00
joshvera
cc7b65d3fb use define and withChildFrame in makeNamespace 2018-10-04 20:06:59 -04:00
joshvera
4546729aff store values and addresses in klasses 2018-10-04 20:06:26 -04:00
joshvera
f3247cfa0f Implement bindAll and lookupScope effects 2018-10-04 20:06:09 -04:00
joshvera
07f684fa13 Replace define and binds with call to withChildFrame 2018-10-04 20:05:46 -04:00
joshvera
7a3b019271 Move define and withChildFrame to Heap 2018-10-04 20:05:23 -04:00
joshvera
92169d2031 qualify name 2018-10-02 16:41:12 -04:00
joshvera
2e4b0617ed parameterize ValueRef with value 2018-10-02 16:40:59 -04:00
joshvera
bd415bb065 Class values capture a frame address 2018-10-02 16:40:48 -04:00
joshvera
a4b3a377f7 Add heap and scope constraints to prelude 2018-10-02 16:40:37 -04:00
joshvera
6cec0be9b2 parameterize ValueRef with value 2018-10-02 16:40:00 -04:00
joshvera
4978ea18ce klass captures a frame address 2018-10-02 16:39:51 -04:00
joshvera
9a9faaa521 Bring back subtermValue 2018-10-02 16:39:38 -04:00
joshvera
48d19477ca Remove Env constraints in defineNamespace and defineClass 2018-10-02 16:39:18 -04:00
joshvera
151fa2af00 Take a set of values in defineClass 2018-10-02 16:38:58 -04:00
joshvera
5e6694d38f Remove Environment constraints from builtInPrint 2018-10-02 16:38:43 -04:00
joshvera
5f81398920 Remove bind call from define
We now write the value to the address in the heap
2018-10-02 16:38:04 -04:00
joshvera
65f8153902 Remove EnvironmentError constraint 2018-10-02 16:36:42 -04:00
joshvera
cfb54b3a17 Parameterize ValueRef by value 2018-10-02 16:36:29 -04:00
joshvera
e29a93dcc5 Parameterize Rval by value 2018-10-01 18:50:32 -04:00
joshvera
52a172559e use withScopeAndFrame 2018-09-26 13:59:17 -05:00
joshvera
0ae01efdec No need to deref in runFunction, array, or tuple 2018-09-26 13:59:07 -05:00
joshvera
2d05eedd02 include scopedtypevariables 2018-09-26 13:58:19 -05:00
joshvera
44d016ceac clean up constraints 2018-09-26 13:58:11 -05:00
joshvera
c6d1626ad1 type apply in builtInPrint 2018-09-26 13:58:01 -05:00
joshvera
be44a501e0 currentScope' always returns an address now 2018-09-26 13:57:46 -05:00
joshvera
910ba23e6a Return effects store values 2018-09-26 13:57:09 -05:00
joshvera
020a179b11 calls take a list of values as params 2018-09-26 13:56:58 -05:00
joshvera
52bb2236e5 Store addresses instead of Environments in Closures 2018-09-26 13:55:43 -05:00
joshvera
2d4c74d568 Construct functionFrame in Data.Abstract.Value.Type 2018-09-25 16:31:25 -05:00
joshvera
be27c9d600 Import Allocator from ScopeGraph 2018-09-25 16:31:01 -05:00
joshvera
45ba7a44f8 Add address free variable to State Heap 2018-09-25 16:30:51 -05:00
joshvera
a537f5d641 Function effect takes an m value 2018-09-25 16:30:37 -05:00
joshvera
0c5d3e4316 Export ScopeGraph from Control.Abstract 2018-09-25 16:30:24 -05:00
joshvera
ce29b4acd9 formatting 2018-09-25 16:30:11 -05:00
joshvera
d706d2e4be Replace ScopeEnv with ScopeGraph 2018-09-25 16:30:00 -05:00
joshvera
fc087a5894 deref takes an Address 2018-09-25 13:36:32 -05:00
joshvera
3dfc8f51a9 Remove comments 2018-09-25 13:35:23 -05:00
joshvera
cf36fa6685 remove builtInExport 2018-09-25 13:35:14 -05:00