mirror of
https://github.com/anoma/juvix.git
synced 2024-12-16 10:56:14 +03:00
f2298bd674
An implementation of the translation from JuvixCore to JuvixAsm. After merging this PR, the only remaining step to complete the basic compilation pipeline (#1556) is the compilation of complex pattern matching (#1531). * Fixes several bugs in lambda-lifting. * Fixes several bugs in the RemoveTypeArgs transformation. * Fixes several bugs in the TopEtaExpand transformation. * Adds the ConvertBuiltinTypes transformation which converts the builtin bool inductive type to Core primitive bool. * Adds the `juvix dev core strip` command. * Adds the `juvix dev core asm` command. * Adds the `juvix dev core compile` command. * Adds two groups of tests: - JuvixCore to JuvixAsm translation: translate JuvixCore tests to JuvixAsm and run the results with the JuvixAsm interpreter, - JuvixCore compilation: compile JuvixCore tests to native code and WASM and execute the results. * Closes #1520 * Closes #1549
22 lines
505 B
Haskell
22 lines
505 B
Haskell
module Commands.Dev.Core.Asm.Options where
|
|
|
|
import CommonOptions
|
|
|
|
data CoreAsmOptions = CoreAsmOptions
|
|
{ _coreAsmPrint :: Bool,
|
|
_coreAsmInputFile :: AppPath File
|
|
}
|
|
deriving stock (Data)
|
|
|
|
makeLenses ''CoreAsmOptions
|
|
|
|
parseCoreAsmOptions :: Parser CoreAsmOptions
|
|
parseCoreAsmOptions = do
|
|
_coreAsmPrint <-
|
|
switch
|
|
( long "print"
|
|
<> help "print the generated JuvixAsm code instead of running it"
|
|
)
|
|
_coreAsmInputFile <- parseInputJuvixCoreFile
|
|
pure CoreAsmOptions {..}
|