waalge/aiken
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
3,052 Commits 8 Branches 0 Tags
ac9c71e32af6087c6330e93470c5e79959ecf8cb
Commit Graph

3052 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
KtorZ
28916c1ef9 Show relative path by default instead of absolute 
The absolute path is long and doesn't really provide much information.
  Plus, it's inconsistent with the behavior on a specified path.
 2024-09-07 18:24:50 +02:00
KtorZ
943d90a99e Fix invalid interpolation in error message. 2024-09-07 18:23:35 +02:00
KtorZ
b7ea6ea391 Fix list-pattern formatting 2024-09-07 14:50:47 +02:00
KtorZ
5ec147e6c7 Mention config in generated README & generate env folder 
Also, get rid of the extra lib/{package_name} directory which is rarely relevant.
 2024-09-06 14:15:44 +02:00
KtorZ
04fb11084c Fix dark colorscheme for dark. 2024-09-06 13:31:19 +02:00
KtorZ
19e30b10f9 Fix #1013 2024-09-06 12:28:12 +02:00
KtorZ
888b7e34c6 Drop debug line that stayed in source code x_x 2024-09-06 12:15:55 +02:00
Matthias Benkort
1f692bc93e Update CHANGELOG.md 2024-09-03 23:30:18 +02:00
rvcas
be31a7ce38 chore: Release 2024-09-03 17:01:41 -04:00
rvcas
20ac89fc33 chore: reset version 2024-09-03 17:01:24 -04:00
microproofs
140cb02be0 Generic test now passes 2024-09-03 16:21:53 -04:00
KtorZ
6a438bc8cd Fix missing locations from generated handler code. 2024-09-03 16:21:53 -04:00
microproofs
2f33c4a8f4 Push up test failing due to missing messages 2024-09-03 16:21:53 -04:00
microproofs
8933688c68 Rest of the tests to push up 2024-09-03 16:21:53 -04:00
microproofs
c370a4aa6a Pushing up tests that test both trace and non-trace uplc 2024-09-03 16:21:53 -04:00
microproofs
a6bc0f7157 Fix positioning on unwrap_void 2024-09-03 16:21:53 -04:00
microproofs
2be76d7cda Use Delay error directly when casting from data without traces 2024-09-03 16:21:53 -04:00
Matthias Benkort
575f0f9a9a Merge pull request #1007 from waalge/waalge/bump-flake 
bump flake
 2024-09-03 19:00:54 +02:00
waalge
0a8f1f4930 bump flake 2024-09-03 16:20:50 +00:00
KtorZ
f60df16bc2 Preserve type-aliases during blueprint generation. 2024-09-03 16:39:50 +02:00
KtorZ
007b85b864 Warn for any ignored file during source parsing 
Not only for files with a .ak extension.
 2024-09-03 15:28:09 +02:00
KtorZ
038f6ecbfd Detect and report duplicate module names during parsing 
Funny enough, we thought about that but only across packages. Now, the
  situation gets a little tricky because of folder structure, it's easy
  to define a module "foo" in `env`, `lib` and/or `validators`. From the
  compiler's perspective, they all have the same name.
 2024-09-03 15:24:01 +02:00
KtorZ
f8be81baa5 Fix README 'aiken new' example. 2024-09-01 19:11:11 +02:00
KtorZ
9f6daa8cd5 Refresh gift_card and hello_world examples. 2024-09-01 18:22:43 +02:00
KtorZ
7bfc01413b Add missing parser snapshots. 2024-09-01 18:12:46 +02:00
KtorZ
ddfe01ee88 Merge branch 'acceptance-test-111' 2024-09-01 18:11:55 +02:00
KtorZ
53af366b59 Ensure uniqueness of intermediate variables in expect_type_assign 
For recursive structures like Tuples, the span itself isn't enough to
  ensure uniqueness of elements (in particular tuples) holding elements
  of the same type.
 2024-09-01 18:10:15 +02:00
KtorZ
8d60f08f65 Add acceptance test 111 
Seems like nested tuples are inferred wrongly when type-casted.

  ```
  type mismatch
     Expected (list a)
          Got integer
  ```
 2024-08-31 00:03:46 +02:00
KtorZ
6d0fe560e2 Provide UPLC machine error as trace context on test failure 2024-08-31 00:01:54 +02:00
KtorZ
fed464278d Allow field access on 'else'. 2024-08-31 00:01:46 +02:00
KtorZ
7aefa85de1 Handle importing validator handler into test module. 2024-08-30 22:43:10 +02:00
KtorZ
5dfa3e7cca Add label annotation where missing in type-checker errors. 2024-08-30 18:41:25 +02:00
KtorZ
5414fd8f04 Fill-in CHANGELOG for zero-arg / super-const. 2024-08-30 18:41:06 +02:00
KtorZ
75c059bf65 Fix module constant usage warnings. 2024-08-30 18:24:35 +02:00
KtorZ
55d381fbfc Merge branch 'supercharge-constants' 2024-08-30 15:45:04 +02:00
KtorZ
e3e889f875 Update benchmarks. 2024-08-30 15:45:00 +02:00
KtorZ
a06383d333 Use const instead of zero-arg functions in few code-gen tests. 2024-08-30 14:47:22 +02:00
KtorZ
ef89691331 Ensure code-gen's Program version/semantic matches Plutus version 2024-08-30 14:45:02 +02:00
microproofs
4a8bec4caa Fixing gen uplc tests 2024-08-29 16:30:31 +02:00
microproofs
e772ff1787 Missed some zero parameter check 2024-08-29 16:30:30 +02:00
KtorZ
6c2e3272da Re-implement and extend docs formatter for constants 2024-08-29 16:25:35 +02:00
KtorZ
71f90ad49f Fix constant definition parser. 
Wouldn't allow a proper sequence of results. Now it does.
 2024-08-29 16:25:12 +02:00
KtorZ
a909e9eb0a Add acceptance_tests/109 to illustrate new config/constants capabilities. 2024-08-29 16:25:12 +02:00
KtorZ
38e8c6264d Do not trigger warnings for exported configurations. 2024-08-29 16:25:12 +02:00
KtorZ
9063549f2e Re-use expr formatter for constants. 2024-08-29 16:25:12 +02:00
microproofs
f35afe8d65 Implement SimpleExpr logic for configuration parsing 
We can now use boolean, lists & all in configuration.
 2024-08-29 16:25:10 +02:00
microproofs
f674f9ee97 hoist functions to super constants too 2024-08-29 16:24:14 +02:00
KtorZ
cd0a9440e8 Allow any expression as constants 
This is only a start. It compiles, but with a few TODOs left open. In particular, it doesn't currently handle constants depending on other constants or functions; nor does it hoist constants.
 2024-08-29 16:24:12 +02:00
KtorZ
79cf0b8d97 Fix test_framework tests trying to implement function on foreign type. 2024-08-29 13:49:09 +02:00
KtorZ
c21466831c Bump versions to 1.1.0, in anticipation. 2024-08-29 09:12:37 +02:00