a6fd8f92a8
feat(deps): start laying out some types and functions
2022-12-20 16:32:31 -05:00
b3266fb837
chore: clippy warnings
2022-12-20 16:32:31 -05:00
ac14512706
feat: fix nil equals nil, and fix funcs with discard params
2022-12-20 15:40:01 -05:00
9177267570
feat: test 24 passes
...
fixed issue with is_tuple in types
minor monomorphize change
2022-12-20 15:40:01 -05:00
17603e8cca
checkpoint
2022-12-20 15:40:01 -05:00
43ff66cd01
all tests pass besides todo in 13, couple changes
...
Use more cost efficient recurse
Monomorphize needed to deal with function arg return types
bytearray variant added for variant names
2022-12-19 00:41:27 -05:00
b6556e6739
Rework 'new' to not generate needless boilerplate
...
Instead, prints out a README with useful informations.
2022-12-19 00:41:27 -05:00
421e7148d0
zero arg functions now work: test 15
2022-12-19 00:41:27 -05:00
3a765ddef5
add better todo
2022-12-19 00:41:27 -05:00
529b3e87ff
Rename builtin as 'verify_ed25519_signature'
...
It's best to keep builtin as-close-as possible to their standard name
because they're hard to document. We can then leverage the prelude and
the standard lib for convenient names.
2022-12-19 00:41:27 -05:00
44d72c046e
Print files / tests as they're processed when --debug
...
This is because there's no proper way to catch panics in Rust, which
makes it hard to know _which_ test did cause the panic when this
happen. The stack trace gives little detail about this, but we can
print this information before it happens -- making it easier to
identify the culprit.
2022-12-19 00:41:27 -05:00
eb386f4606
feat: Add nil support for test 19
2022-12-19 00:41:27 -05:00
5b908aaeb7
fix: fieldsexpose getting wrong generic id and not replacing type
2022-12-19 00:41:27 -05:00
47fae21af7
minor fix to monomorphize
2022-12-19 00:41:27 -05:00
2bce818110
chore: fix list insertion order, function insertion order,
...
and Inner function issues with variant
2022-12-19 00:41:27 -05:00
e6c59dca2c
cleanup if then else a bit
2022-12-19 00:41:27 -05:00
eddd202253
tests 1 through 10 pass now, add negate
2022-12-19 00:41:27 -05:00
841babae5c
chore: clean some links up so they point to the new repo
2022-12-17 11:19:02 -05:00
1055e342b1
Tweak syntax-highlighting for better output.
2022-12-17 17:09:13 +01:00
202678e21e
Improve rendering of type-signatures in docs
...
- [x] Display function arguments using a newline-multiline strategy
when the signature gets too long. For example:
```
union_with
( left left: AssocList<key, value>
, right right: AssocList<key, value>
, with with: fn(key, value, value) -> value
) -> AssocList<key, value>
```
- [x] Show type-aliases as type-aliases in signatures; provided
they've been specified as type annotations. Otherwise, fallback to
the inferred type.
- [x] Do not show argument names in signatures, but show labels when
they're present. This reflects more the original intent behind
labels (which are meant as public-facing documentation).
2022-12-17 13:07:28 +01:00
579030db36
Highlight current module in the sidebar.
2022-12-17 12:13:51 +01:00
a34d7d4dbb
Revert 71e71ff
...
Redundant with the `kind: ModuleKind` field already.
2022-12-17 11:54:39 +01:00
1178fa3f01
Add source repository to config & docs.
2022-12-17 04:11:54 +01:00
a83900409b
Adjust docs theme to catppuccin
...
- light-mode uses catpuccin-latte
- dark-mode uses catpuccin-mocha
2022-12-17 04:11:54 +01:00
5c0920d6bb
Factor out common module prefix when all modules are under a same namespace.
2022-12-17 02:38:04 +01:00
600c7747da
Do not show link to source.
...
This require slightly more work and has little benefits at this stage given that the sources are literally inlined in the docs.
2022-12-17 01:02:21 +01:00
e7f729c61b
Define HighlightJS definition for Aiken.
2022-12-17 01:02:21 +01:00
e1065e892a
Support module constants in docs.
2022-12-17 01:02:21 +01:00
ac0d180c5c
Apply suggestions from clippy.
2022-12-17 01:02:21 +01:00
873bd85d8b
Implement modules' extra, to get function & module comments in docs.
2022-12-17 01:02:21 +01:00
536c9457b3
Refactor project source parsing
...
There was already a 'parse_sources' function, and 'parse' was actually more about typechecking than parsing.
2022-12-17 01:02:21 +01:00
b323c95241
Fix type-parameter pretty printing (use chevrons)
2022-12-17 01:02:20 +01:00
d2c6d27545
Support data-types in documentation.
2022-12-17 01:02:20 +01:00
1f3f769b53
Add command 'docs' for generating project documentation.
2022-12-16 18:34:05 +01:00
6da53fd875
Add a 'docs' method to projects, using the newly introduced docs::generate_all
2022-12-16 18:33:36 +01:00
16b0a9fbe4
Introduce 'docs' for generating documentation for aiken libraries.
2022-12-16 18:33:04 +01:00
71e71fffe8
Define 'is_library' for 'CheckedModule'
...
So that we can separate libraries from executable modules if necessary.
2022-12-16 15:33:27 +01:00
775e90d782
chore: remove unnecessary Option wrapper on type
2022-12-15 18:22:31 -05:00
325a7b7b45
fix: correct V1 to_plutus_data() for txout with no datum hash
2022-12-15 18:22:31 -05:00
0188003323
refactor: move helper option builder to lang
2022-12-15 13:28:30 -05:00
42f8a694f4
tests: missing token broke a test
2022-12-15 11:12:35 -05:00
53bc9aa56f
fix: properly capture empty lines
2022-12-15 11:12:35 -05:00
d9d1310c6d
Merge pull request #166 from aiken-lang/some-interesting-test-cases
...
Include generics to get test cases working
2022-12-15 02:07:05 +01:00
5024bd884c
Remove debug line for pretty-printing test, and add '--debug' flag to 'check instead.
2022-12-15 02:02:10 +01:00
e5972640d2
Remove 'eval' command.
...
Was introduced as a work-around to get some debugging info out of scripts, but tests do now provide the same capability with a better output and, do so automatically.
2022-12-14 22:14:35 +01:00
978a6c6981
Collect and display evaluation hints on test failures.
2022-12-14 22:00:56 +01:00
7b22b63ad8
move 'EvalInfo' to project::script & define a new 'EvalHint'
2022-12-14 22:00:09 +01:00
921e7abbb6
Move pretty-printing utilities to project::pretty
2022-12-14 21:59:09 +01:00
6343fa7105
Change generated assets file extensions
2022-12-14 12:48:29 -05:00
87546e0abd
Return non-zero exit code on test failure
...
And integrated test results with miette report.
2022-12-14 18:44:31 +01:00
rvcas