+
Skip to content

Conversation

CohenArthur
Copy link
Member

  • parser: WIP: Parse empty types -> Read message
  • empty_types: Add empty type parsing and instantiation
  • empty_types: Instantiate empty types on the fly
  • stdlib: Add Args.count() function
  • stdlib: Make Args type an empty type

@codecov-commenter
Copy link

Codecov Report

Merging #381 (92c29da) into master (f629a73) will decrease coverage by 0.09%.
The diff coverage is 90.14%.

Impacted file tree graph

@@            Coverage Diff             @@
##           master     #381      +/-   ##
==========================================
- Coverage   91.73%   91.63%   -0.10%     
==========================================
  Files          37       38       +1     
  Lines        3979     4043      +64     
==========================================
+ Hits         3650     3705      +55     
- Misses        329      338       +9     
Impacted Files Coverage Δ
src/instruction/mod.rs 67.64% <ø> (ø)
src/instruction/var_or_empty_type.rs 86.00% <86.00%> (ø)
src/builtins.rs 95.91% <100.00%> (+0.17%) ⬆️
src/parser/constructs.rs 99.13% <100.00%> (+0.01%) ⬆️
src/instruction/var.rs 80.48% <0.00%> (-9.76%) ⬇️
src/context/scope_map.rs 94.96% <0.00%> (+0.71%) ⬆️
src/instruction/type_instantiation.rs 91.46% <0.00%> (+3.04%) ⬆️

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update f629a73...92c29da. Read the comment docs.

type Ok;
type NotOk;

o = Ok;
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I'm not sure if this is a good design. Is o the type Ok or an instance of Ok (I know it's the latter but that a bit confusing).

Why not just go with the usual Ok() rather than creating a special edge case that complexify the language.

What is the benefit of this outside of removing the need of ()

Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Oops... that's my bad for having the wrong destination branch, but this discussion is more suited on #348. I'll answer there

@CohenArthur CohenArthur merged commit 3a95daf into master Dec 2, 2021
@CohenArthur CohenArthur deleted the add-args-count branch December 2, 2021 08:35
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants

点击 这是indexloc提供的php浏览器服务,不要输入任何密码和下载