Code

Add INLINE syntax#1290

Code

Merged

stylewarning merged 22 commits intocoalton-lang:maincoalton-lang/coalton:mainfrom digikar99:syntax-inlinedigikar99/coalton:syntax-inlineCopy head branch name to clipboardJan 28, 2025

+447-65

Commits

Commits on Jan 28, 2025

• Add INLINE-P to FUNCTION-ENV-ENTRY in typechecker

  

  digikar99

  authored and

  stylewarning

  committed
  3bd84c8

  Copy full SHA for 3bd84c8

• Add METHOD-INLINE-P to TY-CLASS-INSTANCE in typechecker

  

  digikar99

  authored and

  stylewarning

  committed
  750364f

  Copy full SHA for 750364f

• Add (INLINE) syntax to parser (no effect)

  

  digikar99

  authored and

  stylewarning

  committed
  a8b8355

  Copy full SHA for a8b8355

• METHOD-INLINE-P of TY-CLASS-INSTANCE is now an ENVIRONMENT-MAP

  

  digikar99

  authored and

  stylewarning

  committed
  d3f6b4b

  Copy full SHA for d3f6b4b

• Pass INLINE-P-TABLE to MONOMORPHIZE

  

  digikar99

  authored and

  stylewarning

  committed
  f54dfaa

  Copy full SHA for f54dfaa

• Use INLINE-P in HEURISTIC-INLINE-APPLICATIONS

  

  digikar99

  authored and

  stylewarning

  committed
  9293866

  Copy full SHA for 9293866

• Some miscellaneous fixes

  

  digikar99

  authored and

  stylewarning

  committed
  1fb6dfa

  Copy full SHA for 1fb6dfa

• Add more inliner-tests

  

  digikar99

  authored and

  stylewarning

  committed
  80ae100

  Copy full SHA for 80ae100

• Some more miscellaneous fixes

  

  digikar99

  authored and

  stylewarning

  committed
  772d77f

  Copy full SHA for 772d77f

• FUN-ENV-ENTRY can be NIL even when other conditions are satisfied

  Show description for f3d3103
  

  digikar99

  authored and

  stylewarning

  committed
  f3d3103

  Copy full SHA for f3d3103

• Remove unnecessary indents from RECURSIVE-INLINE-TEST

  Show description for 0dbd815
  

  2 peopleauthored and

  stylewarning

  committed
  0dbd815

  Copy full SHA for 0dbd815

• Add test for duplicate inline attributes (Thanks @amorphedstar!)

  

  digikar99

  authored and

  stylewarning

  committed
  5b9da9b

  Copy full SHA for 5b9da9b

• Add more parser tests for INLINE

  

  digikar99

  authored and

  stylewarning

  committed
  fb8d61a

  Copy full SHA for fb8d61a

• Renumber last two tests in define-type.txt to 112 and 113

  

  digikar99

  authored and

  stylewarning

  committed
  6a4fc88

  Copy full SHA for 6a4fc88

• Add more tests for inline (thanks @YarinHeffes!)

  

  digikar99

  authored and

  stylewarning

  committed
  f801d95

  Copy full SHA for f801d95

• Use @YarinHeffes suggestions to rewrite parse-define-instance

  

  digikar99

  authored and

  stylewarning

  committed
  6c810de

  Copy full SHA for 6c810de

• Rename inline-p to inline in parser because attr and not boolean

  

  digikar99

  authored and

  stylewarning

  committed
  805604d

  Copy full SHA for 805604d

• Use method-codegen-inline-p isntead of method-inline-p

  

  digikar99

  authored and

  stylewarning

  committed
  d91e835

  Copy full SHA for d91e835

• Make sure the tests pass

  

  digikar99

  authored and

  stylewarning

  committed
  80cfbcd

  Copy full SHA for 80cfbcd

• Better error message for dangling (inline) inside define-instance

  Show description for b68c4dc
  

  digikar99

  authored and

  stylewarning

  committed
  b68c4dc

  Copy full SHA for b68c4dc

• In entry-point: process inline and monomorphize in the same loop

  

  digikar99

  authored and

  stylewarning

  committed
  152cbc4

  Copy full SHA for 152cbc4

• Spacing alignment in ty-class-instance

  

  digikar99

  authored and

  stylewarning

  committed
  018fb6c

  Copy full SHA for 018fb6c