Add a linear interface to inline-java. #127

facundominguez · 2019-07-18T15:45:23Z

No description provided.

facundominguez requested a review from mboes July 18, 2019 15:45

facundominguez force-pushed the fd/linear-types-inline-java branch from c7cdcd4 to 1e4731e Compare July 18, 2019 15:54

facundominguez force-pushed the fd/linear-types-inline-java branch 4 times, most recently from 1ccde67 to 8eb8b62 Compare July 30, 2019 21:31

facundominguez force-pushed the fd/linear-types-inline-java branch from 8eb8b62 to bc2f04d Compare August 9, 2019 20:40

facundominguez force-pushed the fd/linear-types-inline-java branch 6 times, most recently from abf1389 to 823f423 Compare August 23, 2019 11:59

facundominguez force-pushed the fd/linear-types-inline-java branch from 823f423 to d7b6960 Compare August 30, 2019 13:54

facundominguez requested review from goldfirere and removed request for mboes September 9, 2019 18:21

facundominguez force-pushed the fd/linear-types-inline-java branch from d7b6960 to b2f16d2 Compare September 16, 2019 19:04

facundominguez force-pushed the fd/linear-types-inline-java branch from b2f16d2 to 6b4413b Compare November 15, 2019 18:39

facundominguez added 7 commits November 15, 2019 18:52

Factor definitions to auxiliary modules in inline-java.

0d3dec2

Modify qqMarker so the args_tuple argument can become linear eventually.

13d944b

Parameterize the java quasiquoter by the jvm interface to use.

922c89e

Move internal modules to the Internal hierarchy.

219d295

Add a linear interface for inline-java.

c1d6e52

Use RebindableSyntax in tests of the linear interface.

49a01d7

Workaround bug in ghc-20190613.

a1a1cd8

facundominguez force-pushed the fd/linear-types-inline-java branch from 6b4413b to a1a1cd8 Compare November 15, 2019 18:53

facundominguez merged commit eddddb2 into master Nov 15, 2019

facundominguez deleted the fd/linear-types-inline-java branch November 15, 2019 18:53

Provide feedback