tweag/nickel
1
1
Fork 0
mirror of https://github.com/tweag/nickel.git synced 2024-09-20 08:05:15 +03:00
Code Issues Projects Releases Wiki Activity
1,901 Commits 114 Branches 18 Tags 51 MiB
81cca83008
Commit Graph

1901 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Yann Hamdaoui
a73bd9e641
Merge pull request #447 from tweag/language-server/extend-ident 
[Language server] Extended Idents
 2021-11-29 15:59:14 +01:00
GitHub Actions
4a008a4629 [auto]Update the Nickel WASM REPL [ci-skip] 2021-11-29 13:29:04 +00:00
Yann Hamdaoui
ad164c71a1
Merge pull request #476 from tweag/timcer/remove_promise 
Remove Term::Promise from the project
 2021-11-29 14:23:21 +01:00
GitHub Actions
2de743b04f Update nightly Rust channel [ci skip] 2021-11-29 01:43:40 +00:00
Yannik Sander
8644f05ce8 Fix aliasing 2021-11-28 17:47:42 +01:00
Yannik Sander
f277257c6d Minorly cleanup resolution code 2021-11-28 17:38:11 +01:00
Yannik Sander
522e95d59b Resolve all deferred usages 
Defer the resolution of deferred usages until their dependencies have been resolved
 2021-11-28 16:46:20 +01:00
Yannik Sander
bbb89a4b93 Extract record referencing to own method 2021-11-28 10:40:40 +01:00
GitHub Actions
d613d2d9bc Update beta Rust channel [ci skip] 2021-11-28 01:38:47 +00:00
GitHub Actions
7d096f346d Update nightly Rust channel [ci skip] 2021-11-27 01:41:43 +00:00
Litchi Pi
c61670078b Remove Term::Promise from the project 
Signed-off-by: Litchi Pi <litchi.pi@protonmail.com>
 2021-11-26 11:06:23 +01:00
GitHub Actions
2ed193d607 Update nightly Rust channel [ci skip] 2021-11-26 01:44:03 +00:00
silverraven691
32d087343b Remove EOL whitespace in stdlib 2021-11-25 20:29:54 +01:00
silverraven691
630a057207 Fix up spacing in stdlib/contracts 2021-11-25 17:22:05 +01:00
GitHub Actions
3b4a69eae7 Update nightly Rust channel [ci skip] 2021-11-25 01:43:55 +00:00
Yannik Sander
e200fb6c1d
Merge branch 'master' into language-server/extend-ident 2021-11-24 15:48:13 +01:00
Yann Hamdaoui
a2c10a6120 Style 2021-11-24 15:23:43 +01:00
Yann Hamdaoui
4ea624f3ed Use an Rc to share original expression of rev thunks 2021-11-24 15:11:45 +01:00
GitHub Actions
50931da9bd [auto]Update the Nickel WASM REPL [ci-skip] 2021-11-24 06:38:37 +00:00
Théophane Hufschmitt
ff68fb83ce
Merge pull request #474 from tweag/task/enrich-contracts-stdlib 
[Stdlib] Add blameWith and fromPred
 2021-11-24 07:32:56 +01:00
GitHub Actions
0963ad091a Update nightly Rust channel [ci skip] 2021-11-24 01:44:28 +00:00
Yann Hamdaoui
6546b9d0a1
Update stdlib/contracts.ncl 
Co-authored-by: Théophane Hufschmitt <regnat@users.noreply.github.com>
 2021-11-23 23:28:37 +01:00
Yannik Sander
e0adb42e5f Post process access chains 2021-11-23 21:49:18 +01:00
GitHub Actions
a01793bebb [auto]Update the Nickel WASM REPL [ci-skip] 2021-11-23 19:50:05 +00:00
Avi Dessauer
7d49af8658
Merge pull request #456 from tweag/avi-tolerate-parse-errors 
Tolerate parse errors in terms
 2021-11-23 14:43:32 -05:00
Avi Dessauer
7f1b3865ff Fixup 2021-11-23 12:29:35 -05:00
Avi Dessauer
0e405af27e Refactor cached terms 2021-11-23 11:55:28 -05:00
Avi Dessauer
6a9689744f
Update src/typecheck/mod.rs 
Co-authored-by: Yann Hamdaoui <yann.hamdaoui@gmail.com>
 2021-11-23 11:18:10 -05:00
Avi Dessauer
a695f39505
Update lsp/nls/src/files.rs 
Co-authored-by: Yann Hamdaoui <yann.hamdaoui@gmail.com>
 2021-11-23 11:17:45 -05:00
Yannik Sander
69c8bfb061 Align with new Idents 2021-11-23 16:12:37 +01:00
Yannik Sander
6a7f9db36b
Merge pull request #438 from tweag/language-server/simple-document-symbols 
[Language Server] Simple document symbols
 2021-11-23 16:02:10 +01:00
Yannik Sander
e6c2969892 do not resolve false record nodes while handling accessor chains 2021-11-23 16:01:14 +01:00
Yannik Sander
653b164282 Remove unnecessary reference taking 2021-11-23 16:01:14 +01:00
Yannik Sander
b80b03a31c Document more parts of the linearization 2021-11-23 16:01:14 +01:00
Yannik Sander
87680b769b Allow more references in records 2021-11-23 16:01:14 +01:00
Yannik Sander
7c0e2ecc09 Support recursive records 2021-11-23 16:01:14 +01:00
Yannik Sander
087dc96f60 Remove accidental file additions 2021-11-23 16:00:43 +01:00
Yannik Sander
79adfecab4 Retype ident fields 2021-11-23 15:37:58 +01:00
Yannik Sander
7f835c9b94 Use properly typed reference types 2021-11-23 15:37:58 +01:00
Yannik Sander
3ae5fa61dd Retype let and function idents 2021-11-23 15:37:58 +01:00
Yannik Sander
39b239484c Index functions 2021-11-23 15:37:58 +01:00
Yannik Sander
fdc6210043 Fix option result warning 2021-11-23 15:37:58 +01:00
Yannik Sander
15e82984ab Allow retyping idents in scope 2021-11-23 15:37:58 +01:00
Yannik Sander
c2942dbe6a Remove Option layer for ident TermPos 2021-11-23 15:36:35 +01:00
Yann Hamdaoui
c16fd3e1bd Add blameWith and fromPred, update examples accordingly 2021-11-23 15:31:35 +01:00
Yannik Sander
828bdc3975 Fix broken documentation 2021-11-23 15:25:54 +01:00
Yannik Sander
bd5d39e9bf Reduce destructurings of Ident outside ident module 2021-11-23 15:22:38 +01:00
Yannik Sander
222164b5c8
Update lsp/nls/src/linearization.rs 
Co-authored-by: Yann Hamdaoui <yann.hamdaoui@gmail.com>
 2021-11-23 14:35:44 +01:00
Yannik Sander
3bad5c06e6
Update src/grammar.lalrpop 
Co-authored-by: Yann Hamdaoui <yann.hamdaoui@gmail.com>
 2021-11-23 14:35:33 +01:00
Yannik Sander
168650d502
Update src/grammar.lalrpop 
Co-authored-by: Yann Hamdaoui <yann.hamdaoui@gmail.com>
 2021-11-23 14:35:24 +01:00