Permalink
Commits on Apr 4, 2012
  1. @robsimmons

    Better parens for types

    robsimmons committed Apr 4, 2012
Commits on Apr 2, 2012
  1. @robsimmons
  2. @robsimmons

    Last commit was broken - didn't add DefaultEnv.hs, which was the whol…

    …e point. Also noticed that I can just add a primitve 'print' function on strings to the default environment, so did that.
    robsimmons committed Apr 2, 2012
  3. @robsimmons
  4. @robsimmons
Commits on Mar 31, 2012
  1. @robsimmons

    As I suspected, the problem was in the pattern checker - now the exam…

    …ple file loads, and I've added some magic words to README
    robsimmons committed Mar 31, 2012
  2. @robsimmons
  3. @robsimmons

    Fix a bug in translating functions, make a load function in main that…

    … actually loads things
    robsimmons committed Mar 31, 2012
  4. @robsimmons
  5. @robsimmons
  6. @robsimmons

    Oh, I think it doesn't work because alternative is too general - have…

    … to actually go with Maybe
    robsimmons committed Mar 31, 2012
  7. @robsimmons

    Commented changes

    robsimmons committed Mar 31, 2012
Commits on Mar 30, 2012
  1. Haskellize the IL module a bit

    committed Mar 30, 2012
Commits on Mar 28, 2012
Commits on Mar 27, 2012
  1. @robsimmons

    Remembered enough haskell in the shower this morning to fix the trans…

    …lation/typechecking code
    robsimmons committed Mar 27, 2012
  2. @robsimmons

    Gitignore

    robsimmons committed Mar 27, 2012
Commits on Mar 26, 2012
  1. @robsimmons

    Introduce a speculative intermediate langauge, and describe a transla…

    …tion into this intermediate language that also effectively typecheckes the surface syntax. Arguably, a better thing to do would be to typecheck the intermediate language, but my thought here is that we might want to add position information to the external language to give more reasonable error messages, but to erase this position information after typechecking and translating into the intermediate language.
    
    Currently, the typechecking part is completely broken, because I'm not actually extending the environment with new bindings or looking up bindings in the environment. The first thing I tried didn't work quite right and I was mostly just doing this to think the problem out a little bit more.
    
    Also, I'm sure this isn't idiomatic haskell at all (I guess I should be using the state monad instead of threading SHELL=/bin/bash
    TERM=dumb
    TMPDIR=/var/folders/T1/T1YnOG4EE1yYXCXAYkUaK++++TI/-Tmp-/
    Apple_PubSub_Socket_Render=/tmp/launch-IXvxuf/Render
    EMACSDATA=/Applications/Emacs.app/Contents/Resources/etc
    EMACSPATH=/Applications/Emacs.app/Contents/MacOS/libexec:/Applications/Emacs.app/Contents/MacOS/bin
    USER=rjsimmon
    EMACS=t
    COMMAND_MODE=unix2003
    SSH_AUTH_SOCK=/tmp/launch-0fx4Ji/Listeners
    TERMCAP=
    __CF_USER_TEXT_ENCODING=0x1F5:0:0
    COLUMNS=80
    PATH=/Users/rjsimmon/.smackage/bin:/usr/bin:/bin:/usr/sbin:/sbin:/usr/texbin:/usr/local/bin:/usr/X11R6/bin:/opt/local/bin:/usr/local/smlnj/bin:/opt/local/bin:/Users/rjsimmon/Library/Haskell/bin:/opt/x10/2.2/bin:/Users/rjsimmon/r/l10/bin
    PWD=/Users/rjsimmon/r/hlevy/src
    EMACSLOADPATH=/Applications/Emacs.app/Contents/Resources/site-lisp:/Applications/Emacs.app/Contents/Resources/lisp:/Applications/Emacs.app/Contents/Resources/leim
    TEXINPUTS=.:/Applications/Emacs.app/Contents/Resources/site-lisp/auctex/latex:
    SHLVL=1
    HOME=/Users/rjsimmon
    ASPELL_CONF=prefix /Applications/Emacs.app/Contents/Resources;data-dir /Applications/Emacs.app/Contents/Resources/lib/aspell-i386;dict-dir /Applications/Emacs.app/Contents/Resources/lib/aspell-i386;conf-dir /Applications/Emacs.app/Contents/Resources/etc
    LOGNAME=rjsimmon
    INFOPATH=/Applications/Emacs.app/Contents/Resources/info:/Applications/Emacs.app/Contents/Resources/extra/info
    DISPLAY=/tmp/launch-7KFpcg/org.x:0
    INSIDE_EMACS=22.3.1,comint
    EMACSDOC=/Applications/Emacs.app/Contents/Resources/etc
    _=/usr/bin/env
    OLDPWD=/Users/rjsimmon/thesis?). Ya'll are welcome to make my haskell suck less.
    robsimmons committed Mar 26, 2012
Commits on Mar 25, 2012
  1. Adding Fun/Rec parsing

    committed Mar 25, 2012
  2. Adding IfThenElse parsing

    committed Mar 25, 2012
  3. Adding LType Parser

    committed Mar 25, 2012
  4. More tweaks to the Parser

    committed Mar 25, 2012
Commits on Mar 19, 2012
  1. Tweaks to the Parser

    committed Mar 19, 2012
  2. Initial work on Parser

    committed Mar 19, 2012
Commits on Mar 18, 2012
Commits on Mar 17, 2012
  1. Adding stub files

    committed Mar 17, 2012