QPQ-AG/sophia
10
0
Fork 0
Code Issues 41 Pull Requests 5 Actions Packages Projects Releases 16 Wiki Activity

Commit Graph

  • 08d0c7034f Add the context to unification error Gaith Hallak 2022-05-24 15:11:43 +04:00
  • 983e7165b0 Replace compare_types with non-throwing version of unify Gaith Hallak 2022-05-20 18:49:52 +04:00
  • 075fb8a659 Add tests for oracles and oracle queries Gaith Hallak 2022-05-20 18:24:42 +04:00
  • 7d5ea6a39e Handle builtin types type variables separately Gaith Hallak 2022-05-20 18:24:02 +04:00
  • 136035b952 Enable variance switching for record types Gaith Hallak 2022-05-20 12:49:02 +04:00
  • d06a61cc22 Add test for variance switching in records Gaith Hallak 2022-05-18 19:33:11 +04:00
  • 3b3e24fb83 Restore test.aes Gaith Hallak 2022-05-11 17:13:25 +04:00
  • 94c8bc3671 Make interfaces declare functions from extended interfaces Gaith Hallak 2022-05-11 17:07:30 +04:00
  • 5624279d6d Rename check_implemented_interfaces_recursive to check_implemented_interfaces1 Gaith Hallak 2022-05-09 12:48:49 +04:00
  • 3fc6d47223 Fix previous commit Gaith Hallak 2022-04-25 19:57:51 +04:00
  • 3b7b207527 Add tests for option and type aliases Gaith Hallak 2022-04-25 19:50:14 +04:00
  • f92e995931 Remove arrows_in_type and use infer_type_vars_variance instead Gaith Hallak 2022-04-24 18:58:44 +04:00
  • 2883b41beb Test only for covariance and contravariance Gaith Hallak 2022-04-22 17:20:03 +04:00
  • 96d9509b44 Compare named args in fun_t Gaith Hallak 2022-04-22 17:05:21 +04:00
  • 78d2ce2e75 Use is_list to check if a var is a list Gaith Hallak 2022-04-20 19:34:38 +04:00
  • 822d54709e Fixes from the reviews Gaith Hallak 2022-04-20 13:59:30 +04:00
  • 94c2f998ae Don't destroy and recreate type errors table when not needed Gaith Hallak 2022-04-19 17:38:30 +04:00
  • 8a9c2a61b2 Add type_vars_uvar ets table to ets_tables() Gaith Hallak 2022-02-27 17:02:58 +04:00
  • 8e888430d9 Mark tvars as invariant Gaith Hallak 2022-02-24 17:17:15 +04:00
  • 1980eb30bf Fix warning Gaith Hallak 2022-02-24 16:05:07 +04:00
  • ae9b8f8b16 Make is_subtype/4 a separate function Gaith Hallak 2022-02-24 16:03:47 +04:00
  • b9af3dbe7f Make opposite_variance a separate function Gaith Hallak 2022-02-24 15:52:17 +04:00
  • 918346445f Add testing for custom types variance switching Gaith Hallak 2022-02-23 19:40:25 +04:00
  • dd259fbc96 Fix dialyzer warning Gaith Hallak 2022-02-11 02:27:18 +04:00
  • 44bd16264a Variance switching for custom datatypes Gaith Hallak 2022-02-11 02:12:44 +04:00
  • 3a00476f88 Fix tests after rebase Gaith Hallak 2022-02-10 01:52:36 +04:00
  • e5e7958c3f Add tests for variance switching Gaith Hallak 2021-12-29 15:24:52 +02:00
  • 4348affa3e Fix broken abi tests Gaith Hallak 2021-12-29 14:58:08 +02:00
  • 77f1631467 Fix broken tests Gaith Hallak 2021-12-29 14:50:14 +02:00
  • 01fb058def Add variance switching Gaith Hallak 2021-12-29 13:34:48 +02:00
  • a068822278 Revert "Draft: Add variance switching" Gaith Hallak 2021-12-27 11:54:47 +02:00
  • b1b7f6cf6d Draft: Add variance switching Gaith Hallak 2021-12-23 18:00:33 +02:00
  • 88666a36d2 Add tests for interfaces implementing interfaces Gaith Hallak 2021-12-18 19:20:45 +02:00
  • adb3455f25 Add test for implementing two interfaces with entrypoints of same names and different types Gaith Hallak 2021-12-18 19:10:45 +02:00
  • 918ff94a37 Add test for implementing multiple interfaces Gaith Hallak 2021-12-18 19:01:51 +02:00
  • df676ff6e9 Report undefined interface errors before checking implemented interfaces Gaith Hallak 2021-11-26 19:03:41 +02:00
  • 03413ab0d4 Fix the comparison between unit and empty tuple Gaith Hallak 2021-11-26 18:50:36 +02:00
  • d8db908485 Add new tests and fix old tests Gaith Hallak 2021-11-23 23:28:02 +02:00
  • 6003aacdea Fix pretty printing Gaith Hallak 2021-11-23 23:27:35 +02:00
  • 4c25489963 Add polymorphism to infer types Gaith Hallak 2021-11-23 21:39:29 +02:00
  • 212534976a Add polymorphism to syntax tree and parser Gaith Hallak 2021-11-17 16:03:56 +02:00
  • 87e2c62b9f Deployed b0e6418 to master with MkDocs 1.2.4 and mike 1.0.1 GitHub Action 2022-05-25 14:00:18 +00:00
  • b0e6418161
         Ban empty record definitions (#384) Gaith Hallak 2022-05-25 17:59:46 +04:00
  • 166ce26a15 Fix the failing test #875 Gaith Hallak 2022-05-23 23:07:54 +04:00
  • ccfa22972e Use definition instead of declaration Gaith Hallak 2022-05-23 22:11:41 +04:00
  • af2fe4515c Ban empty record declarations Gaith Hallak 2022-05-23 20:33:13 +04:00
  • 4e3e06d8bd Deployed a894876 to master with MkDocs 1.2.4 and mike 1.0.1 GitHub Action 2022-05-10 14:27:38 +00:00
  • a894876f56
         Show the file name in the location if the file is included (#383) Gaith Hallak 2022-05-10 18:27:06 +04:00
  • 6c07d19890 Deployed 0af45df to master with MkDocs 1.2.4 and mike 1.0.1 GitHub Action 2022-05-10 13:34:31 +00:00
  • 0af45dfd19
         Deprecate AEVM (#375) Radosław Rowicki 2022-05-10 15:33:59 +02:00
  • b8f854c8f0 undo weird change #866 radrow 2022-05-10 15:31:23 +02:00
  • c0718589c8 Remove unused tests radrow 2022-05-08 10:53:35 +02:00
  • 369804a334 update docs radrow 2022-04-19 19:39:57 +02:00
  • 247aeb6346 Fix the docs radrow 2022-04-19 19:39:12 +02:00
  • 19d8f63131 Solve GH suggestions radrow 2022-04-19 19:34:43 +02:00
  • 077aa584b5 undo export Radosław Rowicki 2022-04-19 19:24:23 +02:00
  • 151b907018 undo export Radosław Rowicki 2022-04-19 19:21:43 +02:00
  • 96c5ab6653 rebar lock fix radrow 2022-04-12 14:28:48 +02:00
  • d334db9380 Restore old rebar radrow 2022-04-12 14:27:42 +02:00
  • ac01255d3a Fix test, changelog radrow 2022-04-12 14:21:28 +02:00
  • 39326158cb Deprecate AEVM radrow 2022-04-12 14:00:14 +02:00
  • b0b1aa837d Deployed c5bfcd3 to master with MkDocs 1.2.4 and mike 1.0.1 GitHub Action 2022-05-05 09:20:27 +00:00
  • c5bfcd3bdc
         Add MCL_BLS12_381 types to from_fate_builtin (#382) Gaith Hallak 2022-05-05 13:19:43 +04:00
  • 427a8886a1 Show the file name in the location if the file is included #874 Gaith Hallak 2022-05-04 19:10:50 +04:00
  • 7150842594 Add tests for mcl_bls12_381 types to sophia value #873 Gaith Hallak 2022-05-04 15:57:57 +04:00
  • fdac0d7027 Add MCL_BLS12_381 types to from_fate_builtin Gaith Hallak 2022-05-04 13:41:02 +04:00
  • 3f367fe783 Deployed 85879f5 to master with MkDocs 1.2.4 and mike 1.0.1 GitHub Action 2022-04-27 14:11:43 +00:00
  • 85879f5380
         Fix BLS12_381.fp and BLS12_381.fr size in the docs (#377) Dincho Todorov 2022-04-27 17:10:56 +03:00
  • a6319eae41
         Fix BLS12_381.fp and BLS12_381.fr size in the docs #868 Dincho Todorov 2022-04-27 16:54:07 +03:00
  • d897007640 Deployed 8897cc6 to master with MkDocs 1.2.4 and mike 1.0.1 GitHub Action 2022-04-26 17:10:38 +00:00
  • 8897cc6cbd
         Fix bls12_381 anchor in the stdlib docs (#376) Dincho Todorov 2022-04-26 20:10:11 +03:00
  • c96e5a44f8
         Fix bls12_381 anchor in the stdlib docs #867 Dincho Todorov 2022-04-26 18:57:34 +03:00
  • 01a40e6baf Deployed 0ec7fdc to master with MkDocs 1.2.4 and mike 1.0.1 GitHub Action 2022-04-12 10:50:09 +00:00
  • 0ec7fdc6ac
         Merge pull request #368 from aeternity/docs/improve-stdlib-structure Marco Walz 2022-04-12 12:49:40 +02:00
  • 7dfc5766c9 Deployed 74aff54 to master with MkDocs 1.2.4 and mike 1.0.1 GitHub Action 2022-04-12 09:40:57 +00:00
  • 74aff5401b
         Introduce pipe operator |> (#371) Gaith Hallak 2022-04-12 12:40:32 +03:00
  • 1b42159140 Update docs and CHANGELOG #862 Gaith Hallak 2022-04-11 13:45:24 +03:00
  • 70bf1c6201 Add tests Gaith Hallak 2022-02-28 14:39:37 +04:00
  • b493852464 Add pipe operator Gaith Hallak 2022-02-28 13:39:44 +04:00
  • ed59f97a76 Deployed cfcf0a8 to master with MkDocs 1.2.4 and mike 1.0.1 GitHub Action 2022-03-28 10:09:57 +00:00
  • cfcf0a8a81
         Merge pull request #372 from aeternity/pygments-version Marco Walz 2022-03-28 12:09:20 +02:00
  • ca31db7cad chore(deps): bump mkdocs version from 1.2.3 to 1.2.4 #863 marc0olo 2022-03-28 10:43:37 +02:00
  • 196460a607 chore(deps): bump pygments version marc0olo 2022-03-22 13:19:11 +01:00
  • bf04362f9a docs: order namespaces alphabetically and place Set in includables #859 marc0olo 2022-02-04 01:24:24 +01:00
  • d4ea7d5d3b
         Clarify signature format for ecverify/ecrecover (#365) Hans Svensson 2022-01-11 14:02:40 +01:00
  • c1c3c29393
         Add oneline error pretty-printing (#364) Hans Svensson 2022-01-11 14:02:05 +01:00
  • b474bb22cd
         Implement caching for compiled child contracts (#363) Gaith Hallak 2022-01-11 16:50:59 +04:00
  • 893da3aa9a Implement caching for compiled child contracts #854 Gaith Hallak 2021-12-31 13:12:41 +02:00
  • 1a89d58952 Add oneline error pretty-printing #855 Hans Svensson 2022-01-05 13:04:11 +01:00
  • bca82845a6 Clarify signature format for ecverify/ecrecover #856 Hans Svensson 2022-01-05 13:32:40 +01:00
  • c04f66a00a Merge pull request #362 from aeternity/ghallak/354 Hans Svensson 2022-01-05 11:22:22 +01:00
  • 37d86ad45b Simplify error messages reported by the compiler Gaith Hallak 2021-12-17 13:00:49 +02:00
  • 64bd702e83 Deployed 2e3caab to master with MkDocs 1.2.3 and mike 1.0.1 GitHub Action 2022-01-05 10:22:58 +00:00
  • 7ad8fc28d9 Remove new line from the end of data error messages #853 Gaith Hallak 2021-12-20 13:08:13 +02:00
  • 6f0c4c4129 Add new line after error message Gaith Hallak 2021-12-20 12:26:10 +02:00
  • 41ddfd18d3 Fix the rest of the error messages Gaith Hallak 2021-12-18 17:29:15 +02:00
  • c209d51c5a Fix tests for changed error messages Gaith Hallak 2021-12-17 19:23:56 +02:00
  • 83a8a793fa Change error message with new line before code Gaith Hallak 2021-12-17 17:41:36 +02:00
  • f0f4bc0d24 Remove at POS from pp_why_record context Gaith Hallak 2021-12-17 17:12:23 +02:00
  • 5bc1322a5b Convert multiple line error messages into single line error messages Gaith Hallak 2021-12-17 17:01:08 +02:00