Code

Remove type argument from SEXPs#410

Code

Draft

facundominguez wants to merge 24 commits intomastertweag/HaskellR:masterfrom fd/remove-type-argtweag/HaskellR:fd/remove-type-argCopy head branch name to clipboard

+2,094-1,348

Commits

Commits on Oct 25, 2023

• Add liquidhaskell dependency

  facundominguez

  committed
  85e7506

• Remove some modules temporarily

  facundominguez

  committed
  58f4851

• Remove type argument of SEXP

  facundominguez

  committed
  6dccc91

Commits on Jan 24, 2024

• Add specs to Foreign.R

  facundominguez

  committed
  23a4447

• Fix building of Foreign.R.Parse

  facundominguez

  committed
  d50470d

• Make Parse.hsc a regular module Parse.hs

  Show description for 7264233
  facundominguez

  committed
  7264233

• Add a specs for Foreign.R.Parse

  facundominguez

  committed
  6dfd1d2

• Add specs to Language.R.Globals

  facundominguez

  committed
  3d6f135

• Remove SSEXPTYPE

  facundominguez

  committed
  c7ed816

• Add specs for Control.Monad.R.Class

  facundominguez

  committed
  e7e6da5

• Add specs for Language.R.GC

  facundominguez

  committed
  4d1c7f9

• Add specs for Control.Monad.R.Internal

  facundominguez

  committed
  98b6791

• Add specs for Data.Vector.SEXP.Mutable

  facundominguez

  committed
  e6e7b27

• Add specs to Data.Vector.SEXP

  facundominguez

  committed
  561142b

• Enable building Language.R.Event

  facundominguez

  committed
  9a3cc78

• Enable building Language.R.Internal.FunWrappers

  facundominguez

  committed
  657fdec

• Enable building Language.R.Instance

  facundominguez

  committed
  6f0820e

• Add specs to Language.R.HExp

  facundominguez

  committed
  b48cd82

• Remove unpack pragmas and strict fields from Vector

  facundominguez

  committed
  4a5f934

• Add specs for Language.R*

  facundominguez

  committed
  6e4fcc8

• Update inline-r/src/H/Prelude/Interactive.hs

  facundominguez

  committed
  73b8321

Commits on Mar 20, 2024

• Enable Liquid Haskell in tests of inline-r

  facundominguez

  committed
  820da66

• Qualify spec of Foreign.R.Internal.globalEnv

  facundominguez

  committed
  96e8497

• Fix rsafe quasiquoter

  facundominguez

  committed
  655015b