adarqui

brew install pango gtk+3
# install mac ports
/opt/local/bin/port install webkit-gtk3
export PKG_CONFIG_PATH=/opt/local/lib/pkgconfig/
stack build

adarqui

str :: Parser String Token
str = do
  let k = spy "str"
  r <- many (isn'tAny "[]")
  let k = spy "str2"
--  r <- some (noneOf ['[', ']'])
  pure $ BBStr (fromCharList r)
  
  
output:

adarqui

https://github.com/adarqui/cardiac-arrest/blob/master/experiments/parsing/big-strings/purescript/purescript-parsing/test/Main.purs#L39

* Build successful.
* Running tests...
→ Suite: test big strings
  → Testing string of size: 1024
→ Testing string of size: 2048
→ Testing string of size: 3072
☠ Failed: simple strings because Maximum call stack size exceeded
→ Testing string of size: 1024

adarqui

 35  eval_GetResources eval (GetResources next) = do
  36
  37  --  modify (_{ resources = (M.empty :: M.Map Int ResourcePackResponse) })
      ...
  61
  62               modify (_{ resources = resources_map })
  63               pure next
                           ^

  Could not match type

adarqui

	Sat May 14 02:48 2016 Time and Allocation Profiling Report  (Final)

	   psc +RTS -N -p -RTS --json-errors -o ./output bower_components/purescript-*/src/**/*.purs src/**/*.purs --ffi bower_components/purescript-*/src/**/*.js --ffi src/**/*.js

	total time  =      139.33 secs   (139328 ticks @ 1000 us, 1 processor)
	total alloc = 17,583,885,936 bytes  (excludes profiling overheads)

COST CENTRE               MODULE                              %time %alloc

==                        Language.PureScript.Names            46.6    0.0

adarqui

*.swp

adarqui

> {-# LANGUAGE ScopedTypeVariables, NPlusKPatterns #-}

-------------------------------------------------------------------------------
	       Software Tools for Discrete Mathematics
		   Cordelia Hall and John O'Donnell
-------------------------------------------------------------------------------

Last modified: June 2006

This software is intended to be used with the book "Discrete