@effekt-lang/effekt 0.17.0 → 0.19.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
@@ -214,7 +214,7 @@ window._wpemojiSettings = {"baseUrl":"https:\/\/s.w.org\/images\/core\/emoji\/15
214
214
  padding: 0 !important;
215
215
  }
216
216
  </style>
217
- <link rel='stylesheet' id='wp-block-library-css' href='https://149753425.v2.pressablecdn.com/wp-content/plugins/gutenberg/build/block-library/style.css?ver=19.9.0' type='text/css' media='all' />
217
+ <link rel='stylesheet' id='wp-block-library-css' href='https://149753425.v2.pressablecdn.com/wp-content/plugins/gutenberg/build/block-library/style.css?ver=20.0.0' type='text/css' media='all' />
218
218
  <style id='osi-event-list-style-inline-css' type='text/css'>
219
219
  /*!***************************************************************************************************************************************************************************************************************************************!*\
220
220
  !*** css ./node_modules/css-loader/dist/cjs.js??ruleSet[1].rules[3].use[1]!./node_modules/postcss-loader/dist/cjs.js??ruleSet[1].rules[3].use[2]!./node_modules/sass-loader/dist/cjs.js??ruleSet[1].rules[3].use[3]!./src/style.scss ***!
@@ -230,7 +230,7 @@ window._wpemojiSettings = {"baseUrl":"https:\/\/s.w.org\/images\/core\/emoji\/15
230
230
  .wp-block-mfb-meta-field-block,.wp-block-mfb-meta-field-block *{box-sizing:border-box}.wp-block-mfb-meta-field-block.is-layout-flow>.prefix,.wp-block-mfb-meta-field-block.is-layout-flow>.suffix,.wp-block-mfb-meta-field-block.is-layout-flow>.value{margin-block-end:0;margin-block-start:0}.wp-block-mfb-meta-field-block.is-display-inline-block>*{display:inline-block}.wp-block-mfb-meta-field-block.is-display-inline-block .prefix{margin-inline-end:var(--mfb--gap,.5em)}.wp-block-mfb-meta-field-block.is-display-inline-block .suffix{margin-inline-start:var(--mfb--gap,.5em)}
231
231
 
232
232
  </style>
233
- <link rel='stylesheet' id='plethoraplugins-tabs-style-css' href='https://149753425.v2.pressablecdn.com/wp-content/plugins/plethora-tabs-accordions/build/style-index.css?ver=1.1.5' type='text/css' media='all' />
233
+ <link rel='stylesheet' id='plethoraplugins-tabs-style-css' href='https://149753425.v2.pressablecdn.com/wp-content/plugins/plethora-tabs-accordions/build/style-index.css?ver=1.3' type='text/css' media='all' />
234
234
  <style id='safe-svg-svg-icon-style-inline-css' type='text/css'>
235
235
  .safe-svg-cover{text-align:center}.safe-svg-cover .safe-svg-inside{display:inline-block;max-width:100%}.safe-svg-cover svg{height:100%;max-height:100%;max-width:100%;width:100%}
236
236
 
@@ -243,7 +243,7 @@ window._wpemojiSettings = {"baseUrl":"https:\/\/s.w.org\/images\/core\/emoji\/15
243
243
  <link rel='stylesheet' id='coblocks-frontend-css' href='https://149753425.v2.pressablecdn.com/wp-content/plugins/coblocks/dist/style-coblocks-1.css?ver=3.1.14' type='text/css' media='all' />
244
244
  <link rel='stylesheet' id='coblocks-extensions-css' href='https://149753425.v2.pressablecdn.com/wp-content/plugins/coblocks/dist/style-coblocks-extensions.css?ver=3.1.14' type='text/css' media='all' />
245
245
  <link rel='stylesheet' id='coblocks-animation-css' href='https://149753425.v2.pressablecdn.com/wp-content/plugins/coblocks/dist/style-coblocks-animation.css?ver=2677611078ee87eb3b1c' type='text/css' media='all' />
246
- <link rel='stylesheet' id='contact-form-7-css' href='https://149753425.v2.pressablecdn.com/wp-content/plugins/contact-form-7/includes/css/styles.css?ver=6.0.2' type='text/css' media='all' />
246
+ <link rel='stylesheet' id='contact-form-7-css' href='https://149753425.v2.pressablecdn.com/wp-content/plugins/contact-form-7/includes/css/styles.css?ver=6.0.3' type='text/css' media='all' />
247
247
  <link rel='stylesheet' id='events-manager-css' href='https://149753425.v2.pressablecdn.com/wp-content/plugins/events-manager/includes/css/events-manager.min.css?ver=6.6.3' type='text/css' media='all' />
248
248
  <link rel='stylesheet' id='events-manager-pro-css' href='https://149753425.v2.pressablecdn.com/wp-content/plugins/events-manager-pro/includes/css/events-manager-pro.css?ver=3.4.1' type='text/css' media='all' />
249
249
  <style id='global-styles-inline-css' type='text/css'>
@@ -253,7 +253,7 @@ window._wpemojiSettings = {"baseUrl":"https:\/\/s.w.org\/images\/core\/emoji\/15
253
253
  <link rel='stylesheet' id='comment_styles-css' href='https://149753425.v2.pressablecdn.com/wp-content/plugins/wp-discourse/lib/../css/comments.css?ver=1734028771' type='text/css' media='all' />
254
254
  <link rel='stylesheet' id='cmplz-general-css' href='https://149753425.v2.pressablecdn.com/wp-content/plugins/complianz-gdpr/assets/css/cookieblocker.min.css?ver=1736534359' type='text/css' media='all' />
255
255
  <link rel='stylesheet' id='dashicons-css' href='https://c0.wp.com/c/6.7.1/wp-includes/css/dashicons.min.css' type='text/css' media='all' />
256
- <link rel='stylesheet' id='wp-components-css' href='https://149753425.v2.pressablecdn.com/wp-content/plugins/gutenberg/build/components/style.css?ver=19.9.0' type='text/css' media='all' />
256
+ <link rel='stylesheet' id='wp-components-css' href='https://149753425.v2.pressablecdn.com/wp-content/plugins/gutenberg/build/components/style.css?ver=20.0.0' type='text/css' media='all' />
257
257
  <link rel='stylesheet' id='godaddy-styles-css' href='https://149753425.v2.pressablecdn.com/wp-content/plugins/coblocks/includes/Dependencies/GoDaddy/Styles/build/latest.css?ver=2.0.2' type='text/css' media='all' />
258
258
  <link rel='stylesheet' id='indieweb-css' href='https://149753425.v2.pressablecdn.com/wp-content/plugins/indieweb/static/css/indieweb.css?ver=4.0.5' type='text/css' media='all' />
259
259
  <link rel='stylesheet' id='webmention-css' href='https://149753425.v2.pressablecdn.com/wp-content/plugins/webmention/assets/css/webmention.css?ver=5.3.3' type='text/css' media='all' />
@@ -267,7 +267,7 @@ window._wpemojiSettings = {"baseUrl":"https:\/\/s.w.org\/images\/core\/emoji\/15
267
267
 
268
268
  .wp-block-cover { background-image:url()}
269
269
  </style>
270
- <link rel='stylesheet' id='genericons-css' href='https://c0.wp.com/p/jetpack/14.2.1/_inc/genericons/genericons/genericons.css' type='text/css' media='all' />
270
+ <link rel='stylesheet' id='genericons-css' href='https://149753425.v2.pressablecdn.com/wp-content/plugins/jetpack/_inc/genericons/genericons/genericons.css?ver=3.1' type='text/css' media='all' />
271
271
  <link rel='stylesheet' id='jetpack-social-menu-css' href='https://149753425.v2.pressablecdn.com/wp-content/plugins/jetpack/jetpack_vendor/automattic/jetpack-classic-theme-helper/src/social-menu/social-menu.css?ver=1.0' type='text/css' media='all' />
272
272
  <link rel='stylesheet' id='nelio-content-premium-series-default-css-css' href='https://149753425.v2.pressablecdn.com/wp-content/plugins/nelio-content-premium/includes/features/series/default.css?ver=3.7.3' type='text/css' media='all' />
273
273
  <link rel='stylesheet' id='syndication-style-css' href='https://149753425.v2.pressablecdn.com/wp-content/plugins/syndication-links/css/syn.min.css?ver=4.5.1' type='text/css' media='all' />
@@ -298,7 +298,7 @@ jQuery(function(jQuery){jQuery.datepicker.setDefaults({"closeText":"Close","curr
298
298
  <script type="text/javascript" src="https://c0.wp.com/c/6.7.1/wp-includes/js/jquery/ui/dialog.min.js" id="jquery-ui-dialog-js"></script>
299
299
  <script type="text/javascript" id="events-manager-js-extra">
300
300
  /* <![CDATA[ */
301
- var EM = {"ajaxurl":"https:\/\/opensource.org\/wp-admin\/admin-ajax.php","locationajaxurl":"https:\/\/opensource.org\/wp-admin\/admin-ajax.php?action=locations_search","firstDay":"1","locale":"en","dateFormat":"yy-mm-dd","ui_css":"https:\/\/opensource.org\/wp-content\/plugins\/events-manager\/includes\/css\/jquery-ui\/build.min.css","show24hours":"0","is_ssl":"1","autocomplete_limit":"10","calendar":{"breakpoints":{"small":560,"medium":908,"large":false}},"phone":"","datepicker":{"format":"Y-m-d"},"search":{"breakpoints":{"small":650,"medium":850,"full":false}},"url":"https:\/\/opensource.org\/wp-content\/plugins\/events-manager","bookingInProgress":"Please wait while the booking is being submitted.","tickets_save":"Save Ticket","bookingajaxurl":"https:\/\/opensource.org\/wp-admin\/admin-ajax.php","bookings_export_save":"Export Bookings","bookings_settings_save":"Save Settings","booking_delete":"Are you sure you want to delete?","booking_offset":"30","bookings":{"submit_button":{"text":{"default":"Submit Booking","free":"Submit Booking","payment":"Submit Booking - %s","processing":"Processing ..."}},"update_listener":""},"bb_full":"Sold Out","bb_book":"Book Now","bb_booking":"Booking...","bb_booked":"Booking Submitted","bb_error":"Booking Error. Try again?","bb_cancel":"Cancel","bb_canceling":"Canceling...","bb_cancelled":"Cancelled","bb_cancel_error":"Cancellation Error. Try again?","txt_search":"Search","txt_searching":"Searching...","txt_loading":"Loading...","cache":"1","api_nonce":"e1e222fb84","attendance_api_url":"https:\/\/opensource.org\/wp-json\/events-manager\/v1\/attendance"};
301
+ var EM = {"ajaxurl":"https:\/\/opensource.org\/wp-admin\/admin-ajax.php","locationajaxurl":"https:\/\/opensource.org\/wp-admin\/admin-ajax.php?action=locations_search","firstDay":"1","locale":"en","dateFormat":"yy-mm-dd","ui_css":"https:\/\/opensource.org\/wp-content\/plugins\/events-manager\/includes\/css\/jquery-ui\/build.min.css","show24hours":"0","is_ssl":"1","autocomplete_limit":"10","calendar":{"breakpoints":{"small":560,"medium":908,"large":false}},"phone":"","datepicker":{"format":"Y-m-d"},"search":{"breakpoints":{"small":650,"medium":850,"full":false}},"url":"https:\/\/opensource.org\/wp-content\/plugins\/events-manager","bookingInProgress":"Please wait while the booking is being submitted.","tickets_save":"Save Ticket","bookingajaxurl":"https:\/\/opensource.org\/wp-admin\/admin-ajax.php","bookings_export_save":"Export Bookings","bookings_settings_save":"Save Settings","booking_delete":"Are you sure you want to delete?","booking_offset":"30","bookings":{"submit_button":{"text":{"default":"Submit Booking","free":"Submit Booking","payment":"Submit Booking - %s","processing":"Processing ..."}},"update_listener":""},"bb_full":"Sold Out","bb_book":"Book Now","bb_booking":"Booking...","bb_booked":"Booking Submitted","bb_error":"Booking Error. Try again?","bb_cancel":"Cancel","bb_canceling":"Canceling...","bb_cancelled":"Cancelled","bb_cancel_error":"Cancellation Error. Try again?","txt_search":"Search","txt_searching":"Searching...","txt_loading":"Loading...","cache":"1","api_nonce":"2142c68a49","attendance_api_url":"https:\/\/opensource.org\/wp-json\/events-manager\/v1\/attendance"};
302
302
  /* ]]> */
303
303
  </script>
304
304
  <script type="text/javascript" src="https://149753425.v2.pressablecdn.com/wp-content/plugins/events-manager/includes/js/events-manager.js?ver=6.6.3" id="events-manager-js"></script>
@@ -840,7 +840,32 @@ form.customize-unpreviewable {
840
840
  .wp-block-osi-main-sponsors-list {
841
841
  border:0 !important;
842
842
  }
843
- </style>
843
+
844
+ .alumni-board-grid {
845
+ display: grid;
846
+ grid-template-columns: repeat(3, 1fr); /* 3 columns */
847
+ gap: 20px; /* Space between grid items */
848
+ margin-top: 20px;
849
+ }
850
+
851
+ .alumni-board-grid .wp-block-post {
852
+ border: 1px solid #ddd;
853
+ border-radius: 10px;
854
+ padding: 15px;
855
+ text-align: center;
856
+ box-shadow: 0px 4px 6px rgba(0, 0, 0, 0.1); /* Subtle shadow */
857
+ }
858
+
859
+ .alumni-board-grid .wp-block-post img {
860
+ max-width: 100%;
861
+ height: auto;
862
+ border-radius: 8px;
863
+ margin-bottom: 10px;
864
+ }
865
+
866
+ .updated {
867
+ display: none;
868
+ } </style>
844
869
  </head>
845
870
 
846
871
  <body data-cmplz=1 class="license-template-default single single-license postid-395 wp-custom-logo wp-embed-responsive jps-theme-osi">
@@ -1005,7 +1030,7 @@ form.customize-unpreviewable {
1005
1030
  <li id="menu-item-5429" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-5429"><a href="https://go.opensource.org/osaid-latest">OSAI Definition</a></li>
1006
1031
  <li id="menu-item-5421" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-5428"><a href="https://opensource.org/ai/process">Process</a></li>
1007
1032
  <li id="menu-item-5430" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-5430"><a href="https://opensource.org/ai/timeline">Timeline</a></li>
1008
- <li id="menu-item-24456" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-24456"><a href="https://opensource.org/ai/faqs">FAQs</a></li>
1033
+ <li id="menu-item-24456" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-24456"><a href="https://opensource.org/ai/faq">FAQ</a></li>
1009
1034
  <li id="menu-item-17410" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-17410"><a href="https://opensource.org/ai/forums">Forum</a></li>
1010
1035
  </ul>
1011
1036
  </div>
@@ -1202,7 +1227,7 @@ var coblocksTinyswiper = {"carouselPrevButtonAriaLabel":"Previous","carouselNext
1202
1227
  /* ]]> */
1203
1228
  </script>
1204
1229
  <script type="text/javascript" src="https://149753425.v2.pressablecdn.com/wp-content/plugins/coblocks/dist/js/coblocks-tinyswiper-initializer.js?ver=3.1.14" id="coblocks-tinyswiper-initializer-js"></script>
1205
- <script type="text/javascript" src="https://149753425.v2.pressablecdn.com/wp-content/plugins/contact-form-7/includes/swv/js/index.js?ver=6.0.2" id="swv-js"></script>
1230
+ <script type="text/javascript" src="https://149753425.v2.pressablecdn.com/wp-content/plugins/contact-form-7/includes/swv/js/index.js?ver=6.0.3" id="swv-js"></script>
1206
1231
  <script type="text/javascript" id="contact-form-7-js-before">
1207
1232
  /* <![CDATA[ */
1208
1233
  var wpcf7 = {
@@ -1214,7 +1239,7 @@ var wpcf7 = {
1214
1239
  };
1215
1240
  /* ]]> */
1216
1241
  </script>
1217
- <script type="text/javascript" src="https://149753425.v2.pressablecdn.com/wp-content/plugins/contact-form-7/includes/js/index.js?ver=6.0.2" id="contact-form-7-js"></script>
1242
+ <script type="text/javascript" src="https://149753425.v2.pressablecdn.com/wp-content/plugins/contact-form-7/includes/js/index.js?ver=6.0.3" id="contact-form-7-js"></script>
1218
1243
  <script type="text/javascript" id="load_comments_js-js-extra">
1219
1244
  /* <![CDATA[ */
1220
1245
  var wpdc = {"commentsURL":"https:\/\/opensource.org\/wp-json\/wp-discourse\/v1\/discourse-comments"};
@@ -1230,37 +1255,37 @@ wp.jpI18nLoader.state = {"baseUrl":"https://opensource.org/wp-content/languages/
1230
1255
  <script type="text/javascript" src="https://149753425.v2.pressablecdn.com/wp-content/plugins/gutenberg/build/url/index.min.js?ver=499ac283dc628dfb623e" id="wp-url-js"></script>
1231
1256
  <script type="text/javascript" id="jetpack-instant-search-js-before">
1232
1257
  /* <![CDATA[ */
1233
- var JetpackInstantSearchOptions=JSON.parse(decodeURIComponent("%7B%22overlayOptions%22%3A%7B%22colorTheme%22%3A%22light%22%2C%22enableInfScroll%22%3Atrue%2C%22enableFilteringOpensOverlay%22%3Atrue%2C%22enablePostDate%22%3Atrue%2C%22enableSort%22%3Atrue%2C%22highlightColor%22%3A%22%23fdd7b9%22%2C%22overlayTrigger%22%3A%22submit%22%2C%22resultFormat%22%3A%22expanded%22%2C%22showPoweredBy%22%3Atrue%2C%22defaultSort%22%3A%22relevance%22%2C%22excludedPostTypes%22%3A%5B%22attachment%22%5D%7D%2C%22homeUrl%22%3A%22https%3A%5C%2F%5C%2Fopensource.org%22%2C%22locale%22%3A%22en-US%22%2C%22postsPerPage%22%3A12%2C%22siteId%22%3A210318891%2C%22postTypes%22%3A%7B%22post%22%3A%7B%22singular_name%22%3A%22Post%22%2C%22name%22%3A%22Posts%22%7D%2C%22page%22%3A%7B%22singular_name%22%3A%22Page%22%2C%22name%22%3A%22Pages%22%7D%2C%22attachment%22%3A%7B%22singular_name%22%3A%22Media%22%2C%22name%22%3A%22Media%22%7D%2C%22supporter%22%3A%7B%22singular_name%22%3A%22Supporter%22%2C%22name%22%3A%22Supporters%22%7D%2C%22board-member%22%3A%7B%22singular_name%22%3A%22Board%20Member%22%2C%22name%22%3A%22Board%20Members%22%7D%2C%22license%22%3A%7B%22singular_name%22%3A%22License%22%2C%22name%22%3A%22Licenses%22%7D%2C%22meeting-minutes%22%3A%7B%22singular_name%22%3A%22Meeting%20Minutes%22%2C%22name%22%3A%22Meeting%20Minutes%22%7D%2C%22press-mentions%22%3A%7B%22singular_name%22%3A%22Press%20mentions%22%2C%22name%22%3A%22Press%20mentions%22%7D%7D%2C%22webpackPublicPath%22%3A%22https%3A%5C%2F%5C%2Fopensource.org%5C%2Fwp-content%5C%2Fplugins%5C%2Fjetpack%5C%2Fjetpack_vendor%5C%2Fautomattic%5C%2Fjetpack-search%5C%2Fbuild%5C%2Finstant-search%5C%2F%22%2C%22isPhotonEnabled%22%3Atrue%2C%22isFreePlan%22%3Afalse%2C%22apiRoot%22%3A%22https%3A%5C%2F%5C%2Fopensource.org%5C%2Fwp-json%5C%2F%22%2C%22apiNonce%22%3A%22e1e222fb84%22%2C%22isPrivateSite%22%3Afalse%2C%22isWpcom%22%3Afalse%2C%22hasOverlayWidgets%22%3Atrue%2C%22widgets%22%3A%5B%7B%22filters%22%3A%5B%7B%22name%22%3A%22Post%20Types%22%2C%22type%22%3A%22post_type%22%2C%22count%22%3A6%2C%22widget_id%22%3A%22jetpack-search-filters-4%22%2C%22filter_id%22%3A%22post_type_0%22%7D%2C%7B%22name%22%3A%22Categories%22%2C%22type%22%3A%22taxonomy%22%2C%22taxonomy%22%3A%22category%22%2C%22count%22%3A5%2C%22widget_id%22%3A%22jetpack-search-filters-4%22%2C%22filter_id%22%3A%22taxonomy_1%22%7D%2C%7B%22name%22%3A%22Tags%22%2C%22type%22%3A%22taxonomy%22%2C%22taxonomy%22%3A%22post_tag%22%2C%22count%22%3A5%2C%22widget_id%22%3A%22jetpack-search-filters-4%22%2C%22filter_id%22%3A%22taxonomy_2%22%7D%2C%7B%22name%22%3A%22Year%22%2C%22type%22%3A%22date_histogram%22%2C%22count%22%3A5%2C%22field%22%3A%22post_date%22%2C%22interval%22%3A%22year%22%2C%22widget_id%22%3A%22jetpack-search-filters-4%22%2C%22filter_id%22%3A%22date_histogram_3%22%7D%5D%2C%22widget_id%22%3A%22jetpack-search-filters-4%22%7D%5D%2C%22widgetsOutsideOverlay%22%3A%5B%5D%2C%22hasNonSearchWidgets%22%3Afalse%2C%22preventTrackingCookiesReset%22%3Afalse%7D"));
1258
+ var JetpackInstantSearchOptions=JSON.parse(decodeURIComponent("%7B%22overlayOptions%22%3A%7B%22colorTheme%22%3A%22light%22%2C%22enableInfScroll%22%3Atrue%2C%22enableFilteringOpensOverlay%22%3Atrue%2C%22enablePostDate%22%3Atrue%2C%22enableSort%22%3Atrue%2C%22highlightColor%22%3A%22%23fdd7b9%22%2C%22overlayTrigger%22%3A%22submit%22%2C%22resultFormat%22%3A%22expanded%22%2C%22showPoweredBy%22%3Atrue%2C%22defaultSort%22%3A%22relevance%22%2C%22excludedPostTypes%22%3A%5B%22attachment%22%5D%7D%2C%22homeUrl%22%3A%22https%3A%5C%2F%5C%2Fopensource.org%22%2C%22locale%22%3A%22en-US%22%2C%22postsPerPage%22%3A12%2C%22siteId%22%3A210318891%2C%22postTypes%22%3A%7B%22post%22%3A%7B%22singular_name%22%3A%22Post%22%2C%22name%22%3A%22Posts%22%7D%2C%22page%22%3A%7B%22singular_name%22%3A%22Page%22%2C%22name%22%3A%22Pages%22%7D%2C%22attachment%22%3A%7B%22singular_name%22%3A%22Media%22%2C%22name%22%3A%22Media%22%7D%2C%22supporter%22%3A%7B%22singular_name%22%3A%22Supporter%22%2C%22name%22%3A%22Supporters%22%7D%2C%22board-member%22%3A%7B%22singular_name%22%3A%22Board%20Member%22%2C%22name%22%3A%22Board%20Members%22%7D%2C%22license%22%3A%7B%22singular_name%22%3A%22License%22%2C%22name%22%3A%22Licenses%22%7D%2C%22meeting-minutes%22%3A%7B%22singular_name%22%3A%22Meeting%20Minutes%22%2C%22name%22%3A%22Meeting%20Minutes%22%7D%2C%22press-mentions%22%3A%7B%22singular_name%22%3A%22Press%20mentions%22%2C%22name%22%3A%22Press%20mentions%22%7D%7D%2C%22webpackPublicPath%22%3A%22https%3A%5C%2F%5C%2Fopensource.org%5C%2Fwp-content%5C%2Fplugins%5C%2Fjetpack%5C%2Fjetpack_vendor%5C%2Fautomattic%5C%2Fjetpack-search%5C%2Fbuild%5C%2Finstant-search%5C%2F%22%2C%22isPhotonEnabled%22%3Atrue%2C%22isFreePlan%22%3Afalse%2C%22apiRoot%22%3A%22https%3A%5C%2F%5C%2Fopensource.org%5C%2Fwp-json%5C%2F%22%2C%22apiNonce%22%3A%222142c68a49%22%2C%22isPrivateSite%22%3Afalse%2C%22isWpcom%22%3Afalse%2C%22hasOverlayWidgets%22%3Atrue%2C%22widgets%22%3A%5B%7B%22filters%22%3A%5B%7B%22name%22%3A%22Post%20Types%22%2C%22type%22%3A%22post_type%22%2C%22count%22%3A6%2C%22widget_id%22%3A%22jetpack-search-filters-4%22%2C%22filter_id%22%3A%22post_type_0%22%7D%2C%7B%22name%22%3A%22Categories%22%2C%22type%22%3A%22taxonomy%22%2C%22taxonomy%22%3A%22category%22%2C%22count%22%3A5%2C%22widget_id%22%3A%22jetpack-search-filters-4%22%2C%22filter_id%22%3A%22taxonomy_1%22%7D%2C%7B%22name%22%3A%22Tags%22%2C%22type%22%3A%22taxonomy%22%2C%22taxonomy%22%3A%22post_tag%22%2C%22count%22%3A5%2C%22widget_id%22%3A%22jetpack-search-filters-4%22%2C%22filter_id%22%3A%22taxonomy_2%22%7D%2C%7B%22name%22%3A%22Year%22%2C%22type%22%3A%22date_histogram%22%2C%22count%22%3A5%2C%22field%22%3A%22post_date%22%2C%22interval%22%3A%22year%22%2C%22widget_id%22%3A%22jetpack-search-filters-4%22%2C%22filter_id%22%3A%22date_histogram_3%22%7D%5D%2C%22widget_id%22%3A%22jetpack-search-filters-4%22%7D%5D%2C%22widgetsOutsideOverlay%22%3A%5B%5D%2C%22hasNonSearchWidgets%22%3Afalse%2C%22preventTrackingCookiesReset%22%3Afalse%7D"));
1234
1259
  /* ]]> */
1235
1260
  </script>
1236
1261
  <script type="text/javascript" src="https://149753425.v2.pressablecdn.com/wp-content/plugins/jetpack/jetpack_vendor/automattic/jetpack-search/build/instant-search/jp-search.js?minify=false&amp;ver=da5ecd9f722e7fcb409e" id="jetpack-instant-search-js"></script>
1237
- <script data-service="jetpack-statistics" data-category="statistics" type="text/plain" data-cmplz-src="//stats.wp.com/w.js?ver=202503" id="jp-tracks-js"></script>
1262
+ <script data-service="jetpack-statistics" data-category="statistics" type="text/plain" data-cmplz-src="//stats.wp.com/w.js?ver=202505" id="jp-tracks-js"></script>
1238
1263
  <script type="text/javascript" id="osi-theme-scripts-js-before">
1239
1264
  /* <![CDATA[ */
1240
1265
  const OSI_LICENSE_DB = {"ajaxURL":"https:\/\/opensource.org\/wp-admin\/admin-ajax.php","action":"osi_license_db"}
1241
1266
  /* ]]> */
1242
1267
  </script>
1243
1268
  <script type="text/javascript" src="https://149753425.v2.pressablecdn.com/wp-content/themes/osi/assets/js/build/theme.js?ver=1724798073" id="osi-theme-scripts-js"></script>
1244
- <script data-service="jetpack-statistics" data-category="statistics" type="text/plain" data-cmplz-src="https://stats.wp.com/e-202503.js" id="jetpack-stats-js" data-wp-strategy="defer"></script>
1269
+ <script data-service="jetpack-statistics" data-category="statistics" type="text/plain" data-cmplz-src="https://stats.wp.com/e-202505.js" id="jetpack-stats-js" data-wp-strategy="defer"></script>
1245
1270
  <script type="text/javascript" id="jetpack-stats-js-after">
1246
1271
  /* <![CDATA[ */
1247
1272
  _stq = window._stq || [];
1248
- _stq.push([ "view", JSON.parse("{\"v\":\"ext\",\"blog\":\"210318891\",\"post\":\"395\",\"tz\":\"0\",\"srv\":\"opensource.org\",\"hp\":\"atomic\",\"ac\":\"3\",\"amp\":\"0\",\"j\":\"1:14.2.1\"}") ]);
1273
+ _stq.push([ "view", JSON.parse("{\"v\":\"ext\",\"blog\":\"210318891\",\"post\":\"395\",\"tz\":\"0\",\"srv\":\"opensource.org\",\"hp\":\"atomic\",\"ac\":\"3\",\"amp\":\"0\",\"j\":\"1:14.3-a.3\"}") ]);
1249
1274
  _stq.push([ "clickTrackerInit", "210318891", "395" ]);
1250
1275
  /* ]]> */
1251
1276
  </script>
1252
1277
  <script type="text/javascript" id="cmplz-cookiebanner-js-extra">
1253
1278
  /* <![CDATA[ */
1254
- var complianz = {"prefix":"cmplz_","user_banner_id":"1","set_cookies":[],"block_ajax_content":"","banner_version":"65","version":"7.2.0","store_consent":"","do_not_track_enabled":"1","consenttype":"optin","region":"eu","geoip":"","dismiss_timeout":"","disable_cookiebanner":"1","soft_cookiewall":"","dismiss_on_scroll":"","cookie_expiry":"365","url":"https:\/\/opensource.org\/wp-json\/complianz\/v1\/","locale":"lang=en&locale=en_US","set_cookies_on_root":"","cookie_domain":"","current_policy_id":"16","cookie_path":"\/","categories":{"statistics":"statistics","marketing":"marketing"},"tcf_active":"","placeholdertext":"Click to accept {category} cookies and enable this content","css_file":"https:\/\/opensource.org\/wp-content\/uploads\/complianz\/css\/banner-{banner_id}-{type}.css?v=65","page_links":{"eu":{"cookie-statement":{"title":"","url":"https:\/\/opensource.org\/blog\/open-source-ai-and-policy-from-the-perspective-of-east-asia"}}},"tm_categories":"","forceEnableStats":"","preview":"","clean_cookies":"","aria_label":"Click to accept {category} cookies and enable this content"};
1279
+ var complianz = {"prefix":"cmplz_","user_banner_id":"1","set_cookies":[],"block_ajax_content":"","banner_version":"67","version":"7.2.0","store_consent":"","do_not_track_enabled":"1","consenttype":"optin","region":"eu","geoip":"","dismiss_timeout":"","disable_cookiebanner":"1","soft_cookiewall":"","dismiss_on_scroll":"","cookie_expiry":"365","url":"https:\/\/opensource.org\/wp-json\/complianz\/v1\/","locale":"lang=en&locale=en_US","set_cookies_on_root":"","cookie_domain":"","current_policy_id":"16","cookie_path":"\/","categories":{"statistics":"statistics","marketing":"marketing"},"tcf_active":"","placeholdertext":"Click to accept {category} cookies and enable this content","css_file":"https:\/\/opensource.org\/wp-content\/uploads\/complianz\/css\/banner-{banner_id}-{type}.css?v=67","page_links":{"eu":{"cookie-statement":{"title":"","url":"https:\/\/opensource.org\/license\/cvw"}}},"tm_categories":"","forceEnableStats":"","preview":"","clean_cookies":"","aria_label":"Click to accept {category} cookies and enable this content"};
1255
1280
  /* ]]> */
1256
1281
  </script>
1257
1282
  <script defer type="text/javascript" src="https://149753425.v2.pressablecdn.com/wp-content/plugins/complianz-gdpr/cookiebanner/js/complianz.min.js?ver=1736534359" id="cmplz-cookiebanner-js"></script>
1258
1283
 
1259
- <script>(function(){function c(){var b=a.contentDocument||a.contentWindow.document;if(b){var d=b.createElement('script');d.innerHTML="window.__CF$cv$params={r:'90125ba00fb70851',t:'MTczNjczOTU1My4wMDAwMDA='};var a=document.createElement('script');a.nonce='';a.src='/cdn-cgi/challenge-platform/scripts/jsd/main.js';document.getElementsByTagName('head')[0].appendChild(a);";b.getElementsByTagName('head')[0].appendChild(d)}}if(document.body){var a=document.createElement('iframe');a.height=1;a.width=1;a.style.position='absolute';a.style.top=0;a.style.left=0;a.style.border='none';a.style.visibility='hidden';document.body.appendChild(a);if('loading'!==document.readyState)c();else if(window.addEventListener)document.addEventListener('DOMContentLoaded',c);else{var e=document.onreadystatechange||function(){};document.onreadystatechange=function(b){e(b);'loading'!==document.readyState&&(document.onreadystatechange=e,c())}}}})();</script></body>
1284
+ <script>(function(){function c(){var b=a.contentDocument||a.contentWindow.document;if(b){var d=b.createElement('script');d.innerHTML="window.__CF$cv$params={r:'9085b0085caa8224',t:'MTczNzk0ODg3My4wMDAwMDA='};var a=document.createElement('script');a.nonce='';a.src='/cdn-cgi/challenge-platform/scripts/jsd/main.js';document.getElementsByTagName('head')[0].appendChild(a);";b.getElementsByTagName('head')[0].appendChild(d)}}if(document.body){var a=document.createElement('iframe');a.height=1;a.width=1;a.style.position='absolute';a.style.top=0;a.style.left=0;a.style.border='none';a.style.visibility='hidden';document.body.appendChild(a);if('loading'!==document.readyState)c();else if(window.addEventListener)document.addEventListener('DOMContentLoaded',c);else{var e=document.onreadystatechange||function(){};document.onreadystatechange=function(b){e(b);'loading'!==document.readyState&&(document.onreadystatechange=e,c())}}}})();</script></body>
1260
1285
  </html>
1261
1286
  <!--
1262
- generated 4 seconds ago
1263
- generated in 0.559 seconds
1287
+ generated 1 seconds ago
1288
+ generated in 0.469 seconds
1264
1289
  served from batcache in 0.003 seconds
1265
- expires in 296 seconds
1290
+ expires in 299 seconds
1266
1291
  -->
package/package.json CHANGED
@@ -1,7 +1,7 @@
1
1
  {
2
2
  "name": "@effekt-lang/effekt",
3
3
  "author": "Jonathan Brachthäuser",
4
- "version": "0.17.0",
4
+ "version": "0.19.0",
5
5
  "repository": {
6
6
  "type": "git",
7
7
  "url": "git+https://github.com/effekt-lang/effekt.git"
@@ -1,31 +0,0 @@
1
- module text/regex
2
-
3
- import immutable/cslist
4
-
5
- extern include chez "pregexp.scm"
6
-
7
- extern type Regex
8
-
9
- record Match(matched: String, index: Int)
10
-
11
- extern pure def regex(str: String): Regex =
12
- chez "(pregexp ${str})"
13
-
14
- def exec(reg: Regex, str: String): Option[Match] = {
15
- val matched = reg.unsafeMatchString(str)
16
- if (matched.isUndefined) { None() }
17
- else { Some(Match(matched, reg.unsafeMatchIndex(str))) }
18
- }
19
-
20
- extern pure def unsafeMatchIndex(reg: Regex, str: String): Int =
21
- chez "(let ([m (pregexp-match-positions ${reg} ${str})]) (if m (car (car m)) #f))"
22
-
23
- // we ignore the captures for now and only return the whole match
24
- extern pure def unsafeMatchString(reg: Regex, str: String): String =
25
- chez "(let ([m (pregexp-match ${reg} ${str})]) (if m (car m) #f))"
26
-
27
- extern pure def split(reg: Regex, str: String): CSList[String] =
28
- chez "(pregexp-split ${reg} ${str})"
29
-
30
- // def split(str: String, sep: String): Array[String] =
31
- // toArray(split(sep.regex, str))
@@ -1,33 +0,0 @@
1
- module text/regex
2
-
3
- import string
4
-
5
- extern type Regex
6
-
7
- record Match(matched: String, index: Int)
8
-
9
- extern pure def regex(str: String): Regex =
10
- js "new RegExp(${str})"
11
-
12
- def exec(reg: Regex, str: String): Option[Match] =
13
- undefinedToOption(reg.unsafeExec(str)) match {
14
- case None() => None()
15
- case Some(v) => Some(Match(v.matched, v.index))
16
- }
17
-
18
- // internal representation { matched: String, index: Int }
19
- extern type RegexMatch
20
- extern pure def matched(r: RegexMatch): String = js "${r}.matched"
21
- extern pure def index(r: RegexMatch): Int = js "${r}.index"
22
-
23
- extern js """
24
- function regex$exec(reg, str) {
25
- var res = reg.exec(str);
26
- if (res === null) { return undefined }
27
- else { return { matched: res[0], index: res.index } }
28
- }
29
- """
30
-
31
- // internals
32
- extern io def unsafeExec(reg: Regex, str: String): RegexMatch =
33
- js "regex$exec(${reg}, ${str})"