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

Commit Graph

  • 5ef52c0dc3 Rname Ann to FAnn when the type is fann() Gaith Hallak 2022-11-17 17:05:33 +03:00
  • 683747bc38 Fix calldata tests Gaith Hallak 2022-11-17 16:41:36 +03:00
  • 694646fa3d Fix compiler tests Gaith Hallak 2022-11-17 15:29:38 +03:00
  • 363a550402 Add instructions lines to the debugging result Gaith Hallak 2022-11-17 15:18:44 +03:00
  • f0d6031fd5 Add dbgloc instruction to fate Gaith Hallak 2022-11-15 09:53:42 +03:00
  • 116fefc244 Fix missing fann() in tuple fexpr() Gaith Hallak 2022-11-14 19:41:20 +03:00
  • 835b186499 Add fann() to nil Gaith Hallak 2022-11-09 17:31:30 +03:00
  • 7648732879 Add fann() to tuple Gaith Hallak 2022-11-09 17:08:14 +03:00
  • 0611bcae9d Add fann() to con Gaith Hallak 2022-11-09 15:06:16 +03:00
  • 9f082b1af2 Add fann() to builtin Gaith Hallak 2022-11-09 14:31:20 +03:00
  • 7abf93e0e0 Add fann() to lit and get_state Gaith Hallak 2022-11-09 14:28:27 +03:00
  • d11f3107a4 Add fann() to switch Gaith Hallak 2022-11-09 14:17:42 +03:00
  • 08174e5dbf Add fann() to var Gaith Hallak 2022-11-09 14:14:39 +03:00
  • 431e983940 Fix the spec for compute_state_layout Gaith Hallak 2022-11-09 13:06:11 +03:00
  • 5046c08b9f Dead code removal Gaith Hallak 2022-11-09 12:58:02 +03:00
  • 81fc1de479 Add missing functions specs Gaith Hallak 2022-11-07 15:35:08 +03:00
  • 2d4e1d7026 Add fann() to builtin_u Gaith Hallak 2022-11-05 14:22:11 +03:00
  • 3f129b3b04 Add fann() to lam Gaith Hallak 2022-11-05 13:25:55 +03:00
  • 48136ef719 Add fann() to let Gaith Hallak 2022-11-05 13:16:20 +03:00
  • a027ac4f6a Add fann() to op Gaith Hallak 2022-11-05 12:35:48 +03:00
  • 44ec5db132 Add fann() to def and def_u Gaith Hallak 2022-11-04 20:47:40 +03:00
  • 74f0b3a2db Add fann() to set_proj Gaith Hallak 2022-11-02 12:15:37 +03:00
  • 404bb33863 Add fann() to proj Gaith Hallak 2022-11-02 12:10:44 +03:00
  • b35441c40e Add fann() to remote Gaith Hallak 2022-11-01 18:23:25 +03:00
  • dd57fd9abe Add fann() to remote_u Gaith Hallak 2022-11-01 18:07:12 +03:00
  • 1043473696 Add fann() to set_state Gaith Hallak 2022-11-01 17:19:17 +03:00
  • dc5a119bc6 Add fann() to closure Gaith Hallak 2022-11-01 17:05:53 +03:00
  • 2118d82745 Add fann() to funcall Gaith Hallak 2022-11-01 16:47:09 +03:00
  • a4d1479cc5 Add fann type and to_fann fun Gaith Hallak 2022-11-01 13:55:01 +03:00
  • 92fe53cb61 Deployed 7bac159 to master with MkDocs 1.4.2 and mike 1.1.2 GitHub Action 2023-06-01 11:23:53 +00:00
  • 7bac15949c
         Introduce encode/decode_value to compiler (#457) Hans Svensson 2023-06-01 13:23:21 +02:00
  • 1c7f0dcb26 Introduce encode/decode_value to compiler #948 Hans Svensson 2023-05-25 21:31:14 +02:00
  • 9a95df2108 Remove unexported functions ghallak/split-typechecker Gaith Hallak 2023-05-06 20:08:16 +03:00
  • adb37fa510 Revert "Remove unused functions" Gaith Hallak 2023-05-06 20:04:18 +03:00
  • f835862a48 Remove unused functions Gaith Hallak 2023-05-06 16:34:22 +03:00
  • 8475b024df Break the dependecy between constraints and env Gaith Hallak 2023-05-06 14:07:14 +03:00
  • b98af0fab6 Move fresh_uvar to type utils Gaith Hallak 2023-05-06 13:48:52 +03:00
  • 6193d144a2 Remove unknown wanring error from type errors Gaith Hallak 2023-05-06 13:28:57 +03:00
  • add858a1ad Move bind_consts to aeso_ast_infer_types Gaith Hallak 2023-05-06 13:22:59 +03:00
  • fa94b96997 Move freshening functions to aeso_tc_env Gaith Hallak 2023-05-06 12:14:24 +03:00
  • ac428d1e36 Move error reporting to aeso_tc_env Gaith Hallak 2023-04-30 21:15:14 +03:00
  • de4c8f5412 Remove the dependency of type_utils on errors Gaith Hallak 2023-04-30 13:48:23 +03:00
  • 0dc647f139 Move typedefs to a separate module Gaith Hallak 2023-04-30 11:12:26 +03:00
  • fceb124f89 Remove freshening from the type checker Gaith Hallak 2023-04-30 11:01:51 +03:00
  • dab0e4b758 Move opposite_variance to type utils Gaith Hallak 2023-04-30 10:00:46 +03:00
  • fbf12cf8b4 Split unfolding from the type checker Gaith Hallak 2023-04-30 09:20:08 +03:00
  • 2cdd3ed576 Split unification from the type checker Gaith Hallak 2023-04-29 14:26:32 +03:00
  • 5f277bed08 Remove aeso_ast module Gaith Hallak 2023-04-29 13:50:11 +03:00
  • 565863681c Split constraints from type checker Gaith Hallak 2023-04-29 11:25:55 +03:00
  • 9fe2696432 Split env from the type checker Gaith Hallak 2023-04-29 07:26:04 +03:00
  • f11697da1a Fix Sophia stdlib path resolution. Craig Everett 2023-04-28 23:43:05 +09:00
  • fc2731fbbb Merge branch 'master' into zomp Craig Everett 2023-04-28 17:12:02 +09:00
  • cc76f93dd7 Fix includes Craig Everett 2023-04-28 17:11:07 +09:00
  • 4c90b00fd0 Implement env getters and setters Gaith Hallak 2023-04-26 12:55:23 +03:00
  • 9f8f3c2ac8 Move blocks processing to desugar module Gaith Hallak 2023-04-24 17:45:32 +03:00
  • 4a8870fb1d Rename ets_manager and type_utils Gaith Hallak 2023-04-24 16:30:50 +03:00
  • a91470fe3c Split desugaring from the type checker Gaith Hallak 2023-04-24 16:23:18 +03:00
  • ab69b6c2a7 Split warnings from the type checker Gaith Hallak 2023-04-22 12:11:28 +03:00
  • 296b2a4bb0 Remove duplicated record definition Gaith Hallak 2023-04-21 21:13:29 +03:00
  • 1f0726fad7 Split type errors from type checker Gaith Hallak 2023-04-21 21:06:46 +03:00
  • 433d180c17 Split pretty printing from type checker Gaith Hallak 2023-04-21 20:28:56 +03:00
  • 30a179bfcc Move smaller functions outside of aeso_ast_infer_types Gaith Hallak 2023-04-21 20:07:53 +03:00
  • 0e4c24958c Remove the access of scopes Gaith Hallak 2023-04-21 19:51:40 +03:00
  • 0baedfeede Move typesig_to_fun_t to type utils Gaith Hallak 2023-04-20 20:23:58 +03:00
  • 36058df924 Split utils and ets management Gaith Hallak 2023-04-20 20:05:23 +03:00
  • 411399a39a . gh-400 radrow 2023-04-16 21:59:48 +02:00
  • 8289f4af9d WIP split into files radrow 2023-04-16 17:40:31 +02:00
  • 3cd8c37399 . radrow 2023-04-16 16:02:09 +02:00
  • 176ac3b3ed Deployed 7b6eba5 to master with MkDocs 1.4.2 and mike 1.1.2 GitHub Action 2023-04-12 11:21:10 +00:00
  • 7b6eba5319
         Introduce contract-level compile-time constants (#432) Gaith Hallak 2023-04-12 14:20:41 +03:00
  • 274bb4e197 Call both resolve_const and resolve_fun from resolve_var #923 Gaith Hallak 2023-03-08 11:12:26 +03:00
  • 521b382dd7 Check validity of const exprs in a separate functions Gaith Hallak 2023-03-07 14:58:32 +03:00
  • da6d4877d6 Update syntax docs Gaith Hallak 2023-01-07 19:05:30 +03:00
  • 442c3a5625 Update the docs about constants Gaith Hallak 2023-01-07 19:01:48 +03:00
  • 2bafa3771e Fix tests Gaith Hallak 2023-01-07 18:43:20 +03:00
  • ad851854be List valid exprs in the error message for invalid exprs Gaith Hallak 2022-12-19 14:18:56 +03:00
  • d34760b990 Allow typed ids to be used for constants Gaith Hallak 2022-12-19 14:05:17 +03:00
  • 51935f8388 Treat expr and type inside bound as bound Gaith Hallak 2022-12-19 13:43:45 +03:00
  • 6308f009ca Update all_syntax test file Gaith Hallak 2022-12-18 23:03:35 +03:00
  • 6a5eff6db3 Update CHANGELOG Gaith Hallak 2022-12-18 22:52:13 +03:00
  • e756f935f2 Add test for the unused const warning Gaith Hallak 2022-12-18 22:43:04 +03:00
  • be7133dec7 Add failing tests Gaith Hallak 2022-12-18 22:32:16 +03:00
  • 0e154f96fa Test for qualified access of constants in functions Gaith Hallak 2022-12-18 11:42:37 +03:00
  • 95d372c718 Use ban_when_const for function applications Gaith Hallak 2022-12-18 11:04:04 +03:00
  • 42c34ce3d8 Add a warning about unused constants in contracts Gaith Hallak 2022-12-17 20:05:18 +03:00
  • ec119a90c5 Make constants public in namespaces and private in contracts Gaith Hallak 2022-12-17 19:33:53 +03:00
  • 9174b90986 Change the error message for invalid_const_id Gaith Hallak 2022-12-17 19:07:11 +03:00
  • 342126b60e Varibles rename Gaith Hallak 2022-12-17 18:08:10 +03:00
  • b23d40e1e6 Ban toplevel constants in contract interfaces Gaith Hallak 2022-12-17 18:07:00 +03:00
  • 162ad4667e Remove unused error Gaith Hallak 2022-12-16 19:02:23 +03:00
  • 0c2421c528 Show error message when using pattern matching for consts Gaith Hallak 2022-12-16 18:54:17 +03:00
  • 28b26ea4cc Add test for warning on const shadowing Gaith Hallak 2022-12-16 18:32:35 +03:00
  • de34fc1122 Undo a mistake Gaith Hallak 2022-12-16 17:51:09 +03:00
  • 80645222ad Allow accessing records fields in toplevel consts Gaith Hallak 2022-12-16 16:52:54 +03:00
  • 7d61d247f7 Report all invalid constant expressions before fail Gaith Hallak 2022-12-16 16:15:06 +03:00
  • e64bdd40d2 Show empty map or record error when assigning to const Gaith Hallak 2022-12-16 13:20:43 +03:00
  • 77be5750f3 Add test for assigining constant to a constant Gaith Hallak 2022-12-16 13:11:32 +03:00
  • aa8ae76aca Revert "Do not reverse constants declarations" Gaith Hallak 2022-12-16 13:11:06 +03:00
  • 112e5338da Add test for accessing const from namespace Gaith Hallak 2022-12-16 13:08:57 +03:00
  • c6bdb15693 Add tests for all valid expressions Gaith Hallak 2022-12-16 13:03:50 +03:00