purescript / purescript-in-purescript

PureScript compiler written in PureScript (On hold / inactive)

purescript-in-purescript

PureScript compiler written in PureScript

purescript-in-purescript's Issues

Port psci

Implement dead code elimination

Avoid hacky usage of `argv` in `Language.PureScript.Prelude`

I started work on this, but it means updating Compiler, Interpreter, etc. as well due to the introduction of Eff.

module Language.PureScript.Prelude where

import Control.Monad.Eff
import Data.Array (map)
import Node.Args (EArgs(), argv)
import Node.Path
import Prelude.Unsafe

preludeFiles :: forall eff. Eff (args :: EArgs | eff) [String]
preludeFiles = do
  args <- argv
  let preludeBaseDir = join (dirname $ args `unsafeIndex` 1) "../prelude/"
  return $ map (\x -> preludeBaseDir ++ x)
               [ "Prelude.purs"
               , "Prelude/Unsafe.purs"
               , "Control/Monad/Eff.purs"
               , "Control/Monad/Eff/Unsafe.purs"
               , "Control/Monad/ST.purs"
               , "Data/Eq.purs"
               , "Data/Function.purs"
               , "Debug/Trace.purs"
               ]

Port psc-make

--no-prelude flag not working

Make failed

2f8352d

I want to use purescript-in-purescript, but it cannot make.

here is error log.

$ psc --version
0.5.1

$ grunt
Running "pscMake:0" (pscMake) task
>> Make failed:
>> "src/Language/PureScript/Parser/Lexer.purs" (line 5, column 20):
>> unexpected 'h'
>> expecting no indentation or end of input
Warning:  Use --force to continue.

Aborted due to warnings.

What can I do?

Get Prelude to compile

Copy REPL module to ~/.purescript/... before compiling in PSCI

Lexer is not tail-recursive

This will be fixed when capture-avoiding substitution and proper TCO are implemented in purescript.

TCO doesn't work

Try

loop _ = loop {}

Move to purescript-deprecated?

Parser doesn't skip comments

Lexer doesn't handle multiline strings

Remaining Modules

@garyb

Let's check these off as we finish them.

We can use the comments to assign these to ourselves so we don't duplicate work.

• Code Generator (Simple but large modules)
  • src/Language/PureScript/CodeGen/Common.hs
  • src/Language/PureScript/CodeGen/Externs.hs
  • src/Language/PureScript/CodeGen/JS/AST.hs
  • src/Language/PureScript/CodeGen/JS.hs
• Optimizer (medium, low priority)
  • src/Language/PureScript/Optimizer/Blocks.hs
  • src/Language/PureScript/Optimizer/Common.hs
  • src/Language/PureScript/Optimizer/Inliner.hs
  • src/Language/PureScript/Optimizer/MagicDo.hs
  • src/Language/PureScript/Optimizer/TCO.hs
  • src/Language/PureScript/Optimizer/Unused.hs
• Data Types
  • src/Language/PureScript/Declarations.hs
  • src/Language/PureScript/Environment.hs
  • src/Language/PureScript/Errors.hs
  • src/Language/PureScript/Kinds.hs
  • src/Language/PureScript/Options.hs
  • src/Language/PureScript/Names.hs
  • src/Language/PureScript/TypeClassDictionaries.hs
  • src/Language/PureScript/Types.hs
• Parser
  • src/Language/PureScript/Parser/Common.hs
  • src/Language/PureScript/Parser/Declarations.hs
  • src/Language/PureScript/Parser/Kinds.hs
  • src/Language/PureScript/Parser/Types.hs
• Pretty Printer (Difficult)
  • src/Language/PureScript/Pretty/Common.hs
  • src/Language/PureScript/Pretty/JS.hs
  • src/Language/PureScript/Pretty/Kinds.hs
  • src/Language/PureScript/Pretty/Types.hs
  • src/Language/PureScript/Pretty/Values.hs
• Desugaring Steps
  • src/Language/PureScript/Sugar/BindingGroups.hs
  • src/Language/PureScript/Sugar/CaseDeclarations.hs
  • src/Language/PureScript/Sugar/DoNotation.hs
  • src/Language/PureScript/Sugar/Names.hs
  • src/Language/PureScript/Sugar/Operators.hs
  • src/Language/PureScript/Sugar/TypeClasses.hs
  • src/Language/PureScript/Sugar/TypeDeclarations.hs
  • src/Language/PureScript/Sugar.hs
• Type Checker (Difficult)
  • src/Language/PureScript/TypeChecker/Kinds.hs
  • src/Language/PureScript/TypeChecker/Monad.hs
  • src/Language/PureScript/TypeChecker/Synonyms.hs
  • src/Language/PureScript/TypeChecker/Types.hs
  • src/Language/PureScript/TypeChecker.hs
• Other
  • src/Language/PureScript/DeadCodeElimination.hs
  • src/Language/PureScript/Constants.hs
  • src/Language/PureScript/ModuleDependencies.hs
  • src/Language/PureScript/Supply.hs
  • src/Language/PureScript/Traversals.hs
  • src/Language/PureScript.hs

Parsing is slow

The parser is slow on anything but the smallest of inputs. It is probably related to the way purescript-parsing works.

Module body must be indented

New website

Parser doesn't show position information

Only the lexer shows position info on failure.

Use purescript-node-fs

Support Haskell-style multiline strings in the lexer

Module cache broken in psci

Bug when lexing comments

Any single line comment beginning with more than two dashes gets lexed as a symbol, and not as a comment.

Implement the optimizer

• src/Language/PureScript/Optimizer/Blocks.hs
• src/Language/PureScript/Optimizer/Common.hs
• src/Language/PureScript/Optimizer/Inliner.hs
• src/Language/PureScript/Optimizer/MagicDo.hs
• src/Language/PureScript/Optimizer/TCO.hs
• src/Language/PureScript/Optimizer/Unused.hs
• src/Language/PureScript/Optimizer.hs

Exceptions handled poorly

Exceptions thrown by theImpossibleHappened, pattern match failure etc. get caught by catchException in main. This is a bigger issue with purescript-exceptions. The Exception effect should not contain an exception type, since we can't tell in general what type was thrown.

SCC doesn't capture single-element cycles

docgen

Performance Ideas

• Type checker doesn't use the backtracking of Either, so it could just use exceptions and Eff.
• Try writing the pretty printers using showsPrec-style pretty printing instead of using pattern-arrows.

We should also try to profile the running Javascript to see where the bottleneck is.

Make use of travis

Either by compiling this with the haskell version, or ideally compiling this with a version of ps-in-ps from npm I guess. Probably need to do #17 first for this to be worthwhile.

Tokens should include position info

Type pretty printer doesn't terminate

Values and Kinds seem to work, but Types generates a stack overflow in node.

Also, we might want to consider using fix to implement the pretty printers so that we don't have to explicitly thunk everything.

skolemEscapeCheck is broken

Try the Auto.purs or Church.purs test cases.

Test Suite

Duplicate members are not detected unless the name is alpha-only

...as far as I can tell anyway, pretty weird.

Lexer handles multiple line breaks poorly

purescript-arrays doesn't compile

➜  purescript-arrays git:(master) psc2 src/**/*.purs bower_components/purescript-*/src/**/*.purs
Expected RBrace, found LName ("in") at line 209, column 46

Lexer doesn't handle all numbers