odanoburu

# name of container image we use (must be on docker hub)
image: odanoburu/racket-pollen:7.7

# everything we need (Racket and Pollen) is already on the container,
# so no need to install anything (but if you want something else
# installed this is the place to do it)
before_script:
  - ls  # for the logs

# deploy public/ directory to Gitlab Pages

odanoburu

odanoburu

resource PhonoPor = open Prelude in {

-- the implementation is wrong, the point is the use of `pre` 
  oper
    a : pattern Str = #("a") ;
    o : pattern Str = #("o") ;

    elisEm : Str ;
    {-- doesn't work, complains about "a" not being a pattern
    elisEm = pre {"em" ; "na" / "a" ; "no" / "o"} ;

odanoburu

  -- hack to get the same behaviour as from variants. parses both,
  -- linearizes the first.
  vars : Str -> Str -> Str = \x,y -> pre { "" => x ; _ => y } ;
  
  mkPass : Str -> Gender => Number => Str ;
  -- passive form is highly predictable from singular masculine form
  mkPass p = case p of {
    amad + "o" => genNumForms p (amad + "a") (amad + "os") (amad + "as") ;
    entregu + "e" => \\g => numForms p (entregu + "es") ;
    _ => error "unknown ending" -- nothing should reach here

odanoburu

abstract Test = {
  cat S ; -- entry
      Thing ;
  fun
    A, B : Thing ;
    mkTest : Thing -> Thing -> S ;

} ;

odanoburu

### to use this image you should put this Dockerfile on the root of the main GF repository

# official haskell image -- doesn't seem to work with stack:
FROM haskell:8.2
# this image will work with stack https://github.com/ajscholl/docker-haskell/commit/62ff8e4d28949035f65f23cf68fad774b70ebb0e

RUN apt-get update \
     && apt-get install -y \
     libghc-haskeline-dev \
     autoconf \

odanoburu

Keybase proof

I hereby claim:

• I am odanoburu on github.
• I am odanoburu (https://keybase.io/odanoburu) on keybase.
• I have a public key ASDkjd3g_9_LtCYzZ_WWf3MwSN9Lv0MhffU1R3Ce__mmRgo

To claim this, I am signing this object:

odanoburu

license: gpl-3.0
height: 500
scrolling: yes
border: yes

odanoburu

license: gpl-3.0
height: 500
scrolling: yes
border: yes