Code

Remove abstract#2219

Code

Merged

lukaszcz merged 42 commits intomainanoma/juvix:mainfrom 2002-remove-abstractanoma/juvix:2002-remove-abstractCopy head branch name to clipboardJun 30, 2023

+2,321-2,919

Commits

Commits on Jun 29, 2023

• wip

  

  janmasrovira

  authored and

  lukaszcz

  committed
  26b9cd7

  Copy full SHA for 26b9cd7

• second try

  

  janmasrovira

  authored and

  lukaszcz

  committed
  c9c24b6

  Copy full SHA for c9c24b6

• InductiveParameter, ConstructorApp, ConstructorRef

  

  janmasrovira

  authored and

  lukaszcz

  committed
  f898416

  Copy full SHA for f898416

• remove (Axiom/Function/Inductive)Ref

  

  janmasrovira

  authored and

  lukaszcz

  committed
  150ccc3

  Copy full SHA for 150ccc3

• format

  

  janmasrovira

  authored and

  lukaszcz

  committed
  adcbbe3

  Copy full SHA for adcbbe3

• ignore cache

  

  janmasrovira

  authored and

  lukaszcz

  committed
  571cdf4

  Copy full SHA for 571cdf4

• includes in Abstract not working

  

  janmasrovira

  authored and

  lukaszcz

  committed
  c5edf72

  Copy full SHA for c5edf72

• wip

  

  janmasrovira

  authored and

  lukaszcz

  committed
  894d593

  Copy full SHA for 894d593

• fix compilation of imports in the repl

  

  janmasrovira

  authored and

  lukaszcz

  committed
  adde0b0

  Copy full SHA for adde0b0

• small universe

  

  janmasrovira

  authored and

  lukaszcz

  committed
  62ffcb3

  Copy full SHA for 62ffcb3

• constructor type

  

  janmasrovira

  authored and

  lukaszcz

  committed
  46f6c04

  Copy full SHA for 46f6c04

• remove empty pattern, check supported types in Internal

  

  janmasrovira

  authored and

  lukaszcz

  committed
  114c5c8

  Copy full SHA for 114c5c8

• dependency builder for Internal

  

  janmasrovira

  authored and

  lukaszcz

  committed
  b825f5a

  Copy full SHA for b825f5a

• remove local modules

  

  janmasrovira

  authored and

  lukaszcz

  committed
  4e4ec13

  Copy full SHA for 4e4ec13

• flatten local modules

  

  janmasrovira

  authored and

  lukaszcz

  committed
  ac7b0df

  Copy full SHA for ac7b0df

• wildcards

  

  janmasrovira

  authored and

  lukaszcz

  committed
  034f26c

  Copy full SHA for 034f26c

• wip

  

  janmasrovira

  authored and

  lukaszcz

  committed
  c304ef4

  Copy full SHA for c304ef4

• premodules

  

  janmasrovira

  authored and

  lukaszcz

  committed
  1a41358

  Copy full SHA for 1a41358

• mutual

  

  janmasrovira

  authored and

  lukaszcz

  committed
  bf4d5ff

  Copy full SHA for bf4d5ff

• add location

  

  janmasrovira

  authored and

  lukaszcz

  committed
  226d783

  Copy full SHA for 226d783

• match holes

  

  janmasrovira

  authored and

  lukaszcz

  committed
  930dde2

  Copy full SHA for 930dde2

• fix include

  

  janmasrovira

  authored and

  lukaszcz

  committed
  f2a5cd5

  Copy full SHA for f2a5cd5

• internal matchExpressions

  

  janmasrovira

  authored and

  lukaszcz

  committed
  e183174

  Copy full SHA for e183174

• concrete -> internal

  

  janmasrovira

  authored and

  lukaszcz

  committed
  349ab02

  Copy full SHA for 349ab02

• nuke abstract

  

  janmasrovira

  authored and

  lukaszcz

  committed
  76b2c05

  Copy full SHA for 76b2c05

• wip

  

  janmasrovira

  authored and

  lukaszcz

  committed
  867582e

  Copy full SHA for 867582e

• remove comment

  

  janmasrovira

  authored and

  lukaszcz

  committed
  cf4e94b

  Copy full SHA for cf4e94b

• add cache effect

  

  janmasrovira

  authored and

  lukaszcz

  committed
  03b4134

  Copy full SHA for 03b4134

• add Visit effect

  

  janmasrovira

  authored and

  lukaszcz

  committed
  e5b7eb6

  Copy full SHA for e5b7eb6

• use caches

  

  janmasrovira

  authored and

  lukaszcz

  committed
  47a7cc5

  Copy full SHA for 47a7cc5

• fix printing Internal imports

  

  janmasrovira

  authored and

  lukaszcz

  committed
  40b0bcd

  Copy full SHA for 40b0bcd

• pretty

  

  janmasrovira

  authored and

  lukaszcz

  committed
  17f24dc

  Copy full SHA for 17f24dc

• properly sort mutual let blocks

  

  janmasrovira

  authored and

  lukaszcz

  committed
  734215a

  Copy full SHA for 734215a

• termination checker

  

  janmasrovira

  authored and

  lukaszcz

  committed
  1ebaa4b

  Copy full SHA for 1ebaa4b

• wip shallow

  

  janmasrovira

  authored and

  lukaszcz

  committed
  68f1362

  Copy full SHA for 68f1362

• add reachability command

  

  janmasrovira

  authored and

  lukaszcz

  committed
  a0ec928

  Copy full SHA for a0ec928

• add tagged

  

  janmasrovira

  authored and

  lukaszcz

  committed
  db3881a

  Copy full SHA for db3881a

• fix reachability

  

  janmasrovira

  authored and

  lukaszcz

  committed
  8ffb5c6

  Copy full SHA for 8ffb5c6

• ormolu

  

  janmasrovira

  authored and

  lukaszcz

  committed
  661f532

  Copy full SHA for 661f532

• revert test

  

  janmasrovira

  authored and

  lukaszcz

  committed
  bd3b876

  Copy full SHA for bd3b876

• proper comment

  

  janmasrovira

  authored and

  lukaszcz

  committed
  afabbe4

  Copy full SHA for afabbe4

Commits on Jun 30, 2023

• Fix typo

  lukaszcz

  authored
  6a90fb1

  Copy full SHA for 6a90fb1